diff -r cb86bf5658e4 -r ef1da1abee46 ProgTutorial/antiquote_setup.ML
--- a/ProgTutorial/antiquote_setup.ML	Fri May 29 12:15:48 2009 +0200
+++ b/ProgTutorial/antiquote_setup.ML	Sat May 30 11:12:46 2009 +0200
@@ -40,7 +40,7 @@
   #> string_explode "";
 
 (* output function *)
-fun output_fn txt =  Chunks.output (map Pretty.str txt)
+fun output_fn txt =  OutputFN.output txt
 
 (* checks and prints open expressions *)
 fun output_ml {context = ctxt, ...} (txt, ovars) =