From b5b78582b335d0807baef611cbce62c6d28df44b Mon Sep 17 00:00:00 2001 From: Brian Demsky Date: Fri, 30 Jan 2015 04:20:11 -0800 Subject: [PATCH] less verbose --- glucose-syrup/incremental/Main.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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); -- 2.34.1