From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Mon, 17 Oct 2011 11:34:16 +0000 (+0000)
Subject: Fix. Print back CVC wasn't prininting back all of the input.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=ac024088d26894622a3a31c7fa94ee3979f9716d;p=francis%2Fstp.git

Fix. Print back CVC wasn't prininting back all of the input.

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

diff --git a/src/main/main.cpp b/src/main/main.cpp
index c561eff..72d5288 100644
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -573,7 +573,7 @@ int main(int argc, char ** argv) {
           if (bm->UserFlags.print_STPinput_back_CVC_flag)
             {
               //needs just the query. Reads the asserts out of the data structure.
-              print_STPInput_Back(query);
+              print_STPInput_Back(original_input);
             }
 
           if (bm->UserFlags.print_STPinput_back_SMTLIB1_flag)