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