1 files changed, 2 insertions, 0 deletions
diff --git a/lib/SMT/main.cpp b/lib/SMT/main.cpp
index 4d2b8e0a..d5137782 100644
--- a/lib/SMT/main.cpp
+++ b/lib/SMT/main.cpp
@@ -13,4 +13,6 @@ int main(int argc, char** argv) {
   klee::expr::SMTParser smtParser(argv[1]);
 
   smtParser.Init();
+  
+  cout << "Query: " << smtParser.query << "\n"; 
 }