1 files changed, 3 insertions, 1 deletions
diff --git a/src/theory/arith/theory_arith_private.cpp b/src/theory/arith/theory_arith_private.cpp
index d920fc8ca..37dba5e92 100644
--- a/src/theory/arith/theory_arith_private.cpp
+++ b/src/theory/arith/theory_arith_private.cpp
@@ -70,6 +70,8 @@
 #include "theory/theory_model.h"
 
 #include "theory/arith/options.h"
+#include "theory/quantifiers/options.h"
+
 
 #include "theory/quantifiers/bounded_integers.h"
 
@@ -1597,7 +1599,7 @@ void TheoryArithPrivate::preRegisterTerm(TNode n) {
       }
       ConstraintP c = d_constraintDatabase.lookup(n);
       Assert(c != NullConstraint);
-  
+
       Debug("arith::preregister") << "setup constraint" << c << endl;
       Assert(!c->canBePropagated());
       c->setPreregistered();