X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FInterpreter%2Falloyinterpreter.cc;h=021b0878ed339fd6ee1b509095c24b101d57462b;hb=88522b82efee075d4dbaf75e82231a399bcbb41c;hp=c0e4a6094d97b8784fb8680eba9656f3e454d088;hpb=e9ca288c7f0cf0f3bb9508c3cc9b212f557bcc40;p=satune.git

diff --git a/src/Interpreter/alloyinterpreter.cc b/src/Interpreter/alloyinterpreter.cc
index c0e4a60..021b087 100644
--- a/src/Interpreter/alloyinterpreter.cc
+++ b/src/Interpreter/alloyinterpreter.cc
@@ -101,6 +101,7 @@ void AlloyInterpreter::dumpHeader(){
 }
 
 void AlloyInterpreter::compileRunCommand(char * command, size_t size){
+	model_print("Calling Alloy...\n");
 	snprintf(command, size, "./run.sh timeout %u java -Xmx10000m edu.mit.csail.sdg.alloy4whole.ExampleAlloyCompilerNoViz %s > %s", getTimeout(), ALLOYFILENAME, ALLOYSOLUTIONFILE);
 }