pedantic warning for -q removed

arminbiere · Oct 2, 2023 · 8316692 · 8316692
1 parent 1bf7324
commit 8316692
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/tracer.cpp b/src/tracer.cpp
@@ -413,6 +413,8 @@ void Tracer::flush (bool print) {
     if (print || internal->opts.verbose > 0)
       MSG ("traced %" PRId64 " added and %" PRId64 " deleted clauses",
            added, deleted);
+#else
+  (void) print;
 #endif
   _flushed = true;
 }