diff options
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(): |