From 627ea8a89b07304884791fc042520e5a84945daa Mon Sep 17 00:00:00 2001
From: vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Date: Sun, 6 Sep 2009 21:58:03 +0000
Subject: [PATCH] git-svn-id:
 https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@196
 e59a4935-1847-0410-ae03-e826735625c1

---
 src/main/main.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/main/main.cpp b/src/main/main.cpp
index 2bbc363..d1b9f19 100644
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -188,7 +188,8 @@ int main(int argc, char ** argv) {
   if(print_STPinput_back_flag) 
     {
       if(smtlib_parser_flag) 
-	{	  
+	{
+	  FatalError("Print back feature for SMT format not yet implemented\n");
 	}
       else 
 	{
-- 
2.47.3