From: Brian Demsky <bdemsky@uci.edu>
Date: Fri, 30 Jan 2015 12:20:11 +0000 (-0800)
Subject: less verbose
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=b5b78582b335d0807baef611cbce62c6d28df44b;p=satlib.git

less verbose
---

diff --git a/glucose-syrup/incremental/Main.cc b/glucose-syrup/incremental/Main.cc
index 5ea6c13..7a69d76 100644
--- a/glucose-syrup/incremental/Main.cc
+++ b/glucose-syrup/incremental/Main.cc
@@ -208,7 +208,7 @@ int main(int argc, char** argv) {
 #endif
     // Extra options:
     //
-    IntOption    verb   ("MAIN", "verb",   "Verbosity level (0=silent, 1=some, 2=more).", 1, IntRange(0, 2));
+    IntOption    verb   ("MAIN", "verb",   "Verbosity level (0=silent, 1=some, 2=more).", 0, IntRange(0, 2));
     BoolOption   mod   ("MAIN", "model",   "show model.", false);
     IntOption    vv  ("MAIN", "vv",   "Verbosity every vv conflicts", 10000, IntRange(1,INT32_MAX));
     BoolOption   pre    ("MAIN", "pre",    "Completely turn on/off any preprocessing.", true);