doc-src/antiquote_setup.ML
changeset 37198 3af985b10550
parent 36973 b0033a307d1f
child 37216 3165bc303f66
     1.1 --- a/doc-src/antiquote_setup.ML	Sun May 30 18:23:50 2010 +0200
     1.2 +++ b/doc-src/antiquote_setup.ML	Sun May 30 21:34:19 2010 +0200
     1.3 @@ -66,7 +66,7 @@
     1.4          else if kind = "exception" then txt1 ^ " of " ^ txt2
     1.5          else txt1 ^ ": " ^ txt2;
     1.6        val txt' = if kind = "" then txt else kind ^ " " ^ txt;
     1.7 -      val _ = ML_Context.eval_in (SOME ctxt) false Position.none (ml (txt1, txt2));
     1.8 +      val _ = ML_Context.eval_text_in (SOME ctxt) false Position.none (ml (txt1, txt2));  (* ML_Lex.read (!?) *)
     1.9        val kind' = if kind = "" then "ML" else "ML " ^ kind;
    1.10      in
    1.11        "\\indexdef{}{" ^ kind' ^ "}{" ^ clean_string txt1 ^ "}" ^