1 files changed, 5 insertions, 1 deletions
diff --git a/src/theory/term_registration_visitor.h b/src/theory/term_registration_visitor.h
index 768508d2c..5f89af9c6 100644
--- a/src/theory/term_registration_visitor.h
+++ b/src/theory/term_registration_visitor.h
@@ -95,7 +95,11 @@ public:
    * Notifies the engine of all the theories used.
    */
   bool done(TNode node);
-
+  ~PreRegisterVisitor() {
+    for (TNodeToTheorySetMap::const_iterator it = d_visited.begin(); it != d_visited.end(); ++it) {
+      std::cout << it->first <<"\n"; 
+    }
+  }
 };