1 files changed, 23 insertions, 0 deletions
diff --git a/src/theory/arith/theory_arith.h b/src/theory/arith/theory_arith.h
new file mode 100644
index 000000000..5b596afd4
--- /dev/null
+++ b/src/theory/arith/theory_arith.h
@@ -0,0 +1,23 @@
+#include "theory/theory.h"
+
+namespace CVC4 {
+namespace theory {
+namespace arith {
+
+class TheoryArith : public TheoryImpl<TheoryArith> {
+public:
+  TheoryArith(context::Context* c, OutputChannel& out) :
+    TheoryImpl<TheoryArith>(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(); }
+};
+
+}
+}
+}
+