1 files changed, 0 insertions, 9 deletions
diff --git a/src/theory/booleans/theory_bool.h b/src/theory/booleans/theory_bool.h
index dfcdd22b8..fd6d20e03 100644
--- a/src/theory/booleans/theory_bool.h
+++ b/src/theory/booleans/theory_bool.h
@@ -34,15 +34,6 @@ public:
     Theory(THEORY_BOOL, c, out, valuation) {
   }
 
-  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;
-  }
-
   Node getValue(TNode n);
 
   std::string identify() const { return std::string("TheoryBool"); }