- if (kids - 1 != _associations->symbols())
- throw("error: symbol_tree::prune: failed to crop kid in symtab");
+ if (kids - 1 != _associations->symbols())
+ throw("error: symbol_tree::prune: failed to crop kid in symtab");
+#endif
+ } else {
+#ifdef DEBUG_SYMBOL_TREE
+ LOG("skip symtree prune steps due to null symtree after dynamic cast.");
+#endif
+///hmmm: how about not? throw("error: symbol_tree::prune: wrong type of node in prune");
+ }
+#ifdef DEBUG_SYMBOL_TREE
+ LOG("about to call base tree::prune...");