--- a/ProgTutorial/chunks.ML	Sat May 30 11:12:46 2009 +0200
+++ b/ProgTutorial/chunks.ML	Sat May 30 17:40:20 2009 +0200
@@ -125,7 +125,7 @@
           end)
     val txt = spc ^ implode (transform_cmts toks')
   in
-    txt |> split_lines |> OutputFN.output 
+    OutputTutorial.output (split_lines txt) 
   end;
 
 val _ = ThyOutput.antiquotation "ML_chunk" (Scan.lift Args.name) output_chunk;