git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk...

diff --git a/src/main/main.cpp b/src/main/main.cpp
index 2bbc363f4350d5998eaf7796225033c603d7d42f..d1b9f19d2a646a2dfca5c5163fda2aad7e736c8c 100644 (file)
--- 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 
        {