diff -r 82c482467d75 -r c53d74b34123 ProgTutorial/antiquote_setup.ML
--- a/ProgTutorial/antiquote_setup.ML	Sun Dec 15 23:49:05 2013 +0000
+++ b/ProgTutorial/antiquote_setup.ML	Thu Mar 13 17:16:49 2014 +0000
@@ -33,7 +33,8 @@
 
 (* eval function *)
 fun eval_fn ctxt exp =
-  ML_Context.eval_text_in (SOME ctxt) false Position.none exp
+  ML_Context.eval_source_in (SOME ctxt) false 
+    {delimited = false, text = exp, pos = Position.none}
 
 (* checks and prints a possibly open expressions, no index *)
 fun output_ml {context = ctxt, ...} (txt, (vs, stru)) =