1 files changed, 24 insertions, 0 deletions
diff --git a/src/theory/booleans/theory_bool.h b/src/theory/booleans/theory_bool.h
new file mode 100644
index 000000000..26e5a69fb
--- /dev/null
+++ b/src/theory/booleans/theory_bool.h
@@ -0,0 +1,24 @@
+#include "theory/theory.h"
+#include "context/context.h"
+
+namespace CVC4 {
+namespace theory {
+namespace booleans {
+
+class TheoryBool : public TheoryImpl<TheoryBool> {
+public:
+  TheoryBool(context::Context* c, OutputChannel& out) :
+    TheoryImpl<TheoryBool>(c, out) {
+  }
+
+  void preRegisterTerm(TNode n) { Unimplemented(); }
+  void registerTerm(TNode n) { Unimplemented(); }
+  void check(Effort e) { Unimplemented(); }
+  void propagate(Effort e) { Unimplemented(); }
+  void explain(TNode n, Effort e) { Unimplemented(); }
+};
+
+}
+}
+}
+