printing written proof size if not quiet (decreased required verbosit…

…y by 2)
arminbiere · Oct 1, 2023 · 29cd4cb · 29cd4cb
1 parent a9305c2
commit 29cd4cb
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/NEWS.md b/NEWS.md
@@ -1,3 +1,8 @@
+Version 1.7.5
+-------------
+
+- Decreased verbosity level for printing proof size.
+
 Version 1.7.4
 -------------
 

diff --git a/src/file.cpp b/src/file.cpp
@@ -389,7 +389,7 @@ void File::close () {
   // TODO what about error checking for 'fclose', 'pclose' or 'waitpid'?
 
 #ifndef QUIET
-  if (internal->opts.verbose > 1) {
+  if (internal->opts.verbose >= 0) {
     if (writing) {
       uint64_t written_bytes = bytes ();
       double written_mb = written_bytes / (double) (1 << 20);