From 3abf1eb5781fcdb389e9f8e17109aa7ee975fee5 Mon Sep 17 00:00:00 2001
From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Sun, 6 Sep 2009 21:55:22 +0000
Subject: [PATCH] git-svn-id:
 https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@195
 e59a4935-1847-0410-ae03-e826735625c1

---
 src/main/main.cpp | 15 +++++++++++----
 1 file changed, 11 insertions(+), 4 deletions(-)

diff --git a/src/main/main.cpp b/src/main/main.cpp
index 81201d5..2bbc363 100644
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -185,10 +185,17 @@ int main(int argc, char ** argv) {
   
   ASTNode asserts = (*(ASTVec*)AssertsQuery)[0];
   ASTNode query   = (*(ASTVec*)AssertsQuery)[1];  
-  if(print_STPinput_back_flag) {
-    print_STPInput_Back(asserts, query);
-    return 0;
-  }
+  if(print_STPinput_back_flag) 
+    {
+      if(smtlib_parser_flag) 
+	{	  
+	}
+      else 
+	{
+	  print_STPInput_Back(asserts, query);
+	}
+      return 0;
+    } //end of PrintBack if
 
   GlobalBeevMgr->TopLevelSAT(asserts, query);  
   return 0;
-- 
2.47.3