From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Wed, 28 Mar 2012 19:26:28 +0000 (+0000)
Subject: enabling the --disable-arithmetic-propagation option in the arithmetic code (it wasn... 
X-Git-Tag: cvc5-1.0.0~8254
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6e5f551507a2a9af33e7b56107471a096a495862;p=cvc5.git

enabling the --disable-arithmetic-propagation option in the arithmetic code (it wasn't used)
---

diff --git a/src/theory/arith/theory_arith.cpp b/src/theory/arith/theory_arith.cpp
index 85461af32..1c6287c4a 100644
--- 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);
   }