Rename macro Message to CVC4Message. (#5576)

1 files changed, 26 insertions, 14 deletions

diff --git a/src/theory/arith/dual_simplex.cpp b/src/theory/arith/dual_simplex.cpp
index 3d6e92283..4ac3034ff 100644
--- a/src/theory/arith/dual_simplex.cpp
+++ b/src/theory/arith/dual_simplex.cpp
@@ -107,13 +107,19 @@ Result::Sat DualSimplexDecisionProcedure::dualFindModel(bool exactResult){
       }
     }
 
-    if(verbose && numDifferencePivots > 0){
-      if(result ==  Result::UNSAT){
-        Message() << "diff order found unsat" << endl;
-      }else if(d_errorSet.errorEmpty()){
-        Message() << "diff order found model" << endl;
-      }else{
-        Message() << "diff order missed" << endl;
+    if (verbose && numDifferencePivots > 0)
+    {
+      if (result == Result::UNSAT)
+      {
+        CVC4Message() << "diff order found unsat" << endl;
+      }
+      else if (d_errorSet.errorEmpty())
+      {
+        CVC4Message() << "diff order found model" << endl;
+      }
+      else
+      {
+        CVC4Message() << "diff order missed" << endl;
       }
     }
   }
@@ -133,13 +139,19 @@ Result::Sat DualSimplexDecisionProcedure::dualFindModel(bool exactResult){
       if(searchForFeasibleSolution(options::arithStandardCheckVarOrderPivots())){
         result = Result::UNSAT;
       }
-      if(verbose){
-        if(result ==  Result::UNSAT){
-          Message() << "restricted var order found unsat" << endl;
-        }else if(d_errorSet.errorEmpty()){
-          Message() << "restricted var order found model" << endl;
-        }else{
-          Message() << "restricted var order missed" << endl;
+      if (verbose)
+      {
+        if (result == Result::UNSAT)
+        {
+          CVC4Message() << "restricted var order found unsat" << endl;
+        }
+        else if (d_errorSet.errorEmpty())
+        {
+          CVC4Message() << "restricted var order found model" << endl;
+        }
+        else
+        {
+          CVC4Message() << "restricted var order missed" << endl;
         }
       }
     }