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 624573391aba5da41b28185bb7077a13bb1aa1a5..741975b112c621a478f5409ad5b4e396aa786cc2 100644 (file)
--- 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);
   }