fix: inverted condition for silent flag

TendTo · Jun 21, 2024 · 6fdebcf · 6fdebcf
1 parent 2b3bdf0
commit 6fdebcf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dlinear/parser/Driver.cpp b/dlinear/parser/Driver.cpp
@@ -70,7 +70,7 @@ void Driver::CheckSat() {
 }
 
 void Driver::GetModel() {
-  if (!context_.config().silent()) return;
+  if (context_.config().silent()) return;
   std::cout << "(model\n" << context_.model() << "\n)" << std::endl;
 }