diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-03-25 15:04:10 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-03-25 15:04:10 -0400 |
| commit | de819295a17aafec36455cde1b4c912951b49273 (patch) | |
| tree | 90b96607ebd6c0448c5145698dafdcc049607b8b /src/theory/arith/congruence_manager.cpp | |
| parent | 973cbd67611a2943714fd9544d098ec1472a40b8 (diff) | |
change const are triggers from false to true in equality engines
Diffstat (limited to 'src/theory/arith/congruence_manager.cpp')
| -rw-r--r-- | src/theory/arith/congruence_manager.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/theory/arith/congruence_manager.cpp b/src/theory/arith/congruence_manager.cpp index 90029495b..99f6e0836 100644 --- a/src/theory/arith/congruence_manager.cpp +++ b/src/theory/arith/congruence_manager.cpp @@ -1,4 +1,3 @@ -/********************* */ /*! \file congruence_manager.cpp ** \verbatim ** Original author: Tim King @@ -34,7 +33,7 @@ ArithCongruenceManager::ArithCongruenceManager(context::Context* c, ConstraintDa d_constraintDatabase(cd), d_setupLiteral(setup), d_avariables(avars), - d_ee(d_notify, c, "theory::arith::ArithCongruenceManager", false) + d_ee(d_notify, c, "theory::arith::ArithCongruenceManager", true) {} ArithCongruenceManager::Statistics::Statistics(): |