bug fixes

[satune.git] / src / Interpreter / smtratinterpreter.cc

diff --git a/src/Interpreter/smtratinterpreter.cc b/src/Interpreter/smtratinterpreter.cc
index ebe51135e3039f0d8e0fd14a89c03f5177172892..9742bda9669dfc26a4075c2386ab76def426b5e5 100644 (file)
--- a/src/Interpreter/smtratinterpreter.cc
+++ b/src/Interpreter/smtratinterpreter.cc
@@ -19,7 +19,8 @@ SMTRatInterpreter::SMTRatInterpreter(CSolver *solver):
 }
 
 void SMTRatInterpreter::compileRunCommand(char * command , size_t size){
-       snprintf(command, size, "timeout %u ./smtrat %s > %s", getTimeout(), SMTFILENAME, SMTSOLUTIONFILE);
+       model_print("Calling SMTRat...\n");
+       snprintf(command, size, "./run.sh timeout %u smtrat %s > %s", getTimeout(), SMTFILENAME, SMTSOLUTIONFILE);
 }
 
 SMTRatInterpreter::~SMTRatInterpreter(){