pedantic warning for -q removed

Armin Biere · Armin Biere · commit 831669281271 · 2023-10-03T04:31:05.000+09:00
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;
 }

Original file line number	Diff line number	Diff line change
`@@ -413,6 +413,8 @@ void Tracer::flush (bool print) {`
`413`	`413`	`if (print \|\| internal->opts.verbose > 0)`
`414`	`414`	`MSG ("traced %" PRId64 " added and %" PRId64 " deleted clauses",`
`415`	`415`	`added, deleted);`
	`416`	`+#else`
	`417`	`+ (void) print;`
`416`	`418`	`#endif`
`417`	`419`	`_flushed = true;`
`418`	`420`	`}`