From 25ef4dc39dbc3f450209fdc6c7bd583de4ae174e Mon Sep 17 00:00:00 2001
From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 28 Aug 2009 21:22:30 +0000
Subject: [PATCH] comments added to vc_cvcParseExpr in c_interface

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@157 e59a4935-1847-0410-ae03-e826735625c1
---
 src/c_interface/c_interface.cpp | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/c_interface/c_interface.cpp b/src/c_interface/c_interface.cpp
index 8fc74d1..5606f71 100644
--- a/src/c_interface/c_interface.cpp
+++ b/src/c_interface/c_interface.cpp
@@ -1472,8 +1472,14 @@ Expr vc_parseExpr(VC vc, char* infile) {
 
   cvcparse();
   nodelist aaa = b->GetAsserts();
+
+  //Don't add the query. It gets added automatically if the input file
+  //has QUERY in it 
+  //
+  //node bbb = b->CreateNode(BEEV::NOT,b->GetQuery());
   node o =  b->CreateNode(BEEV::AND,aaa);
-  
+  //node o = b->CreateNode(BEEV::AND,oo,bbb);
+
   nodestar output = new node(o);
   return output;
 } //end of vc_parseExpr()
-- 
2.47.3