diff -r 2728e8daebc0 -r 0cbd34857b9e ProgTutorial/antiquote_setup.ML
--- a/ProgTutorial/antiquote_setup.ML	Mon Aug 03 14:01:57 2009 +0200
+++ b/ProgTutorial/antiquote_setup.ML	Mon Aug 03 16:47:01 2009 +0200
@@ -47,8 +47,8 @@
   (eval_fn ctxt (ml_val_open ovars istruc txt);
    case (istruc, Long_Name.base_name txt, Long_Name.qualifier txt)  of
      (NONE, bn, "")  => output_indexed (transform_cmts_str txt) {main = Code txt, minor = NoString}
-   | (NONE, bn, qn)  => output_indexed (transform_cmts_str txt) {main = Code bn, minor = IStruc qn}
-   | (SOME st, _, _) => output_indexed (transform_cmts_str txt) {main = Code txt, minor = IStruc st})
+   | (NONE, bn, qn)  => output_indexed (transform_cmts_str txt) {main = Code bn, minor = IStruct qn}
+   | (SOME st, _, _) => output_indexed (transform_cmts_str txt) {main = Code txt, minor = IStruct st})
 
 val parser_ml = Scan.lift (Args.name --
   (Scan.optional (Args.$$$ "for" |-- OuterParse.!!! (Scan.repeat1 Args.name)) [] --