diff options
Diffstat (limited to 'src/theory/arith/dual_simplex.cpp')
| -rw-r--r-- | src/theory/arith/dual_simplex.cpp | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/theory/arith/dual_simplex.cpp b/src/theory/arith/dual_simplex.cpp index 13cc29a58..543cb9587 100644 --- a/src/theory/arith/dual_simplex.cpp +++ b/src/theory/arith/dual_simplex.cpp @@ -104,15 +104,15 @@ Result::Sat DualSimplexDecisionProcedure::dualFindModel(bool exactResult){ { if (result == Result::UNSAT) { - CVC4Message() << "diff order found unsat" << endl; + CVC5Message() << "diff order found unsat" << endl; } else if (d_errorSet.errorEmpty()) { - CVC4Message() << "diff order found model" << endl; + CVC5Message() << "diff order found model" << endl; } else { - CVC4Message() << "diff order missed" << endl; + CVC5Message() << "diff order missed" << endl; } } } @@ -136,15 +136,15 @@ Result::Sat DualSimplexDecisionProcedure::dualFindModel(bool exactResult){ { if (result == Result::UNSAT) { - CVC4Message() << "restricted var order found unsat" << endl; + CVC5Message() << "restricted var order found unsat" << endl; } else if (d_errorSet.errorEmpty()) { - CVC4Message() << "restricted var order found model" << endl; + CVC5Message() << "restricted var order found model" << endl; } else { - CVC4Message() << "restricted var order missed" << endl; + CVC5Message() << "restricted var order missed" << endl; } } } |