From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Fri, 15 Feb 2013 22:10:50 +0000 (-0500)
Subject: prvs commit: lower warning to notice
X-Git-Tag: cvc5-1.0.0~7406^2~2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0b6203eda700e3a98cf792ca8b0f66f2caf733c2;p=cvc5.git

prvs commit: lower warning to notice

Signed-off-by: Kshitij Bansal <kshitij@cs.nyu.edu>
---

diff --git a/src/main/driver_unified.cpp b/src/main/driver_unified.cpp
index 624573391..741975b11 100644
--- a/src/main/driver_unified.cpp
+++ b/src/main/driver_unified.cpp
@@ -195,8 +195,8 @@ int runCvc4(int argc, char* argv[], Options& opts) {
 # else
   vector<Options> threadOpts = parseThreadSpecificOptions(opts);
   if(opts[options::incrementalSolving] && !opts[options::incrementalParallel]) {
-    Warning() << "WARNING: In --incremental mode, using the sequential solver unless forced by...\n"
-              << "WARNING: ...the experimental --incremental-parallel option.\n";
+    Notice() << "Notice: In --incremental mode, using the sequential solver unless forced by...\n"
+             << "Notice: ...the experimental --incremental-parallel option.\n";
     exprMgr = new ExprManager(opts);
     pExecutor = new CommandExecutor(*exprMgr, opts);
   }