enabling the --disable-arithmetic-propagation option in the arithmetic code (it wasn...

diff --git a/src/theory/arith/theory_arith.cpp b/src/theory/arith/theory_arith.cpp
index 85461af329a9066eb5ca99c29aeefbc8554bf627..1c6287c4ac8ca8d338bb9d46baaa7f9126a9c502 100644 (file)
--- a/src/theory/arith/theory_arith.cpp
+++ b/src/theory/arith/theory_arith.cpp
@@ -602,7 +602,7 @@ void TheoryArith::preRegisterTerm(TNode n) {
 
   if(isRelationOperator(n.getKind())){
     if(!isSetup(n)){
-      setupAtom(n, true);
+      setupAtom(n, Options::current()->arithPropagation);
     }
     addToContext(n);
   }