diff -r 007922777ff1 -r ee864694315b ProgTutorial/antiquote_setup.ML
--- a/ProgTutorial/antiquote_setup.ML	Mon Aug 17 20:57:32 2009 +0200
+++ b/ProgTutorial/antiquote_setup.ML	Tue Aug 18 01:05:56 2009 +0200
@@ -6,12 +6,12 @@
 open OutputTutorial
 
 (* functions for generating appropriate expressions *)
-fun ml_val_open ys istruc txt = 
+fun ml_val_open ys strct txt = 
 let 
   fun ml_val_open_aux ys txt = 
-          "fn " ^ (case ys of [] => "_" | _ => enclose "(" ")" (commas ys)) ^ " => (" ^ txt ^ ")";
+    implode ["fn ", (case ys of [] => "_" | _ => enclose "(" ")" (commas ys)), " => (", txt, ")"];
 in
- (case istruc of
+ (case strct of
     NONE    => ml_val_open_aux ys txt
   | SOME st => ml_val_open_aux ys ("let open " ^ st ^ " in " ^ txt ^ " end"))
 end