From ac024088d26894622a3a31c7fa94ee3979f9716d Mon Sep 17 00:00:00 2001
From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Mon, 17 Oct 2011 11:34:16 +0000
Subject: [PATCH] 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
---
 src/main/main.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
-- 
2.47.3