1 files changed, 9 insertions, 2 deletions
diff --git a/src/theory/booleans/theory_bool.h b/src/theory/booleans/theory_bool.h
index eb6e84c39..b39663449 100644
--- a/src/theory/booleans/theory_bool.h
+++ b/src/theory/booleans/theory_bool.h
@@ -31,11 +31,18 @@ public:
     Theory(c, out) {
   }
 
-  void preRegisterTerm(TNode n) { Unimplemented(); }
-  void registerTerm(TNode n) { Unimplemented(); }
+  void preRegisterTerm(TNode n) {
+    Debug("bool") << "bool: begin preRegisterTerm(" << n << ")" << std::endl;
+    Debug("bool") << "bool: end preRegisterTerm(" << n << ")" << std::endl;
+  }
+  void registerTerm(TNode n) {
+    Debug("bool") << "bool: begin preRegisterTerm(" << n << ")" << std::endl;
+    Debug("bool") << "bool: end preRegisterTerm(" << n << ")" << std::endl;
+  }
   void check(Effort e) { Unimplemented(); }
   void propagate(Effort e) { Unimplemented(); }
   void explain(TNode n, Effort e) { Unimplemented(); }
+
 };
 
 }/* CVC4::theory::booleans namespace */