1 files changed, 8 insertions, 13 deletions
diff --git a/src/theory/arith/arith_rewriter.h b/src/theory/arith/arith_rewriter.h
index de6b3f228..600f38d4f 100644
--- a/src/theory/arith/arith_rewriter.h
+++ b/src/theory/arith/arith_rewriter.h
@@ -21,24 +21,19 @@
 #define CVC4__THEORY__ARITH__ARITH_REWRITER_H
 
 #include "theory/theory.h"
-#include "theory/rewriter.h"
+#include "theory/theory_rewriter.h"
 
 namespace CVC4 {
 namespace theory {
 namespace arith {
 
-class ArithRewriter {
-public:
-
-  static RewriteResponse preRewrite(TNode n);
-  static RewriteResponse postRewrite(TNode n);
-
-  static void init() { }
-
-  static void shutdown() { }
-
-private:
+class ArithRewriter : public TheoryRewriter
+{
+ public:
+  RewriteResponse preRewrite(TNode n) override;
+  RewriteResponse postRewrite(TNode n) override;
 
+ private:
   static Node makeSubtractionNode(TNode l, TNode r);
   static Node makeUnaryMinusNode(TNode n);
 
@@ -70,7 +65,7 @@ private:
     return !isAtom(n);
   }
 
-};/* class ArithRewriter */
+}; /* class ArithRewriter */
 
 }/* CVC4::theory::arith namespace */
 }/* CVC4::theory namespace */