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 c561eff734ae6ace4af5af67bbb2847c6f08e979..72d52886f0e3d75e57fe9e49e424b183cdbecc95 100644 (file)
--- 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)