Revision c107bad349b3b08d76e676cd3bb5d6e38d0ebd9f

Committed on 12/12/2008 5:05 am by Derick Rethans <[email protected]> [GitHub Diff]

- Fixed issue #14124: A fatal error was thrown when a visitor was used on an
empty tree.