1 files changed, 1 insertions, 1 deletions
diff --git a/lib/SMT/main.cpp b/lib/SMT/main.cpp
index d5137782..38bfac86 100644
--- a/lib/SMT/main.cpp
+++ b/lib/SMT/main.cpp
@@ -14,5 +14,5 @@ int main(int argc, char** argv) {
 
   smtParser.Init();
   
-  cout << "Query: " << smtParser.query << "\n"; 
+  cout << smtParser.query << "\n"; 
 }