diff options
Diffstat (limited to 'src/theory/arith/fc_simplex.cpp')
| -rw-r--r-- | src/theory/arith/fc_simplex.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/theory/arith/fc_simplex.cpp b/src/theory/arith/fc_simplex.cpp index 29177d3f4..125a24f5e 100644 --- a/src/theory/arith/fc_simplex.cpp +++ b/src/theory/arith/fc_simplex.cpp @@ -106,8 +106,7 @@ Result::Sat FCSimplexDecisionProcedure::findModel(bool exactResult){ d_errorSet.reduceToSignals(); // We must start tracking NOW - d_errorSet.setSelectionRule(SUM_METRIC); - + d_errorSet.setSelectionRule(options::ErrorSelectionRule::SUM_METRIC); if(initialProcessSignals()){ d_conflictVariables.purge(); |