From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Sun, 6 Sep 2009 21:55:22 +0000 (+0000)
Subject: git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk... 
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=3abf1eb5781fcdb389e9f8e17109aa7ee975fee5;p=francis%2Fstp.git

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@195 e59a4935-1847-0410-ae03-e826735625c1
---

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;