diff -r 5accec94b6df -r 358f325f4db6 ProgTutorial/antiquote_setup.ML
--- a/ProgTutorial/antiquote_setup.ML	Fri Jun 05 04:17:28 2009 +0200
+++ b/ProgTutorial/antiquote_setup.ML	Tue Jun 23 04:05:01 2009 +0200
@@ -20,7 +20,7 @@
 
 fun ml_pat (lhs, pat) =
   let 
-     val pat' = implode (map (fn "\\<dots>" => "_" | s => s) (Symbol.explode pat))
+     val pat' = implode (map (fn "\<dots>" => "_" | s => s) (Symbol.explode pat))
   in "val " ^ pat' ^ " = " ^ lhs end;
 
 fun ml_struct txt = "functor DUMMY_FUNCTOR() = struct structure DUMMY = " ^ txt ^ " end";