1 files changed, 3 insertions, 3 deletions
diff --git a/lib/SMT/main.cpp b/lib/SMT/main.cpp
index 934f0702..034c4ce4 100644
--- a/lib/SMT/main.cpp
+++ b/lib/SMT/main.cpp
@@ -36,8 +36,8 @@ int main(int argc, char** argv) {
   }
   
   klee::expr::SMTParser smtParser(argv[1], Builder);
-
-  smtParser.Init();
+  smtParser.Parse();
+  int result = smtParser.Solve();
   
-  cout << smtParser.query << "\n"; 
+  cout << (result ? "UNSAT":"SAT") << "\n"; 
 }