changeset 36163 | 823c9400eb62 |
parent 31546 | d58d6acab331 |
child 36973 | b0033a307d1f |
--- a/doc-src/antiquote_setup.ML Fri Apr 16 10:52:10 2010 +0200 +++ b/doc-src/antiquote_setup.ML Fri Apr 16 11:39:08 2010 +0200 @@ -54,7 +54,7 @@ fun ml_structure (txt, _) = "functor XXX() = struct structure XX = " ^ txt ^ " end;"; -fun ml_functor _ = ""; (*no check!*) +fun ml_functor (txt, _) = "ML_Env.check_functor " ^ ML_Syntax.print_string txt; fun index_ml name kind ml = ThyOutput.antiquotation name (Scan.lift (Args.name -- Scan.optional (Args.colon |-- Args.name) ""))