diff --git a/dlinear/parser/Driver.cpp b/dlinear/parser/Driver.cpp
index 94447d92..33f8077d 100644
--- 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;
 }