diff -r 638ed040e6f8 -r 2c34c69236ce ProgTutorial/antiquote_setup.ML
--- a/ProgTutorial/antiquote_setup.ML	Thu Apr 03 12:16:56 2014 +0100
+++ b/ProgTutorial/antiquote_setup.ML	Sun Apr 06 12:45:54 2014 +0100
@@ -33,7 +33,7 @@
 
 (* eval function *)
 fun eval_fn ctxt exp =
-  ML_Context.eval_source_in (SOME ctxt) false 
+  ML_Context.eval_source_in (SOME ctxt) ML_Compiler.flags 
     {delimited = false, text = exp, pos = Position.none}
 
 (* checks and prints a possibly open expressions, no index *)