src/Doc/antiquote_setup.ML
changeset 56275 600f432ab556
parent 56208 06cc31dff138
child 56278 2576d3a40ed6
     1.1 --- a/src/Doc/antiquote_setup.ML	Tue Mar 25 10:37:10 2014 +0100
     1.2 +++ b/src/Doc/antiquote_setup.ML	Tue Mar 25 13:18:10 2014 +0100
     1.3 @@ -99,7 +99,9 @@
     1.4          else txt1 ^ " : " ^ txt2;
     1.5        val txt' = if kind = "" then txt else kind ^ " " ^ txt;
     1.6  
     1.7 -      val _ = ML_Context.eval_in (SOME ctxt) false (#pos source1) (ml (toks1, toks2));
     1.8 +      val _ =
     1.9 +        ML_Context.eval_in (SOME ctxt) {SML = false, verbose = false} (#pos source1)
    1.10 +          (ml (toks1, toks2));
    1.11        val kind' = if kind = "" then "ML" else "ML " ^ kind;
    1.12      in
    1.13        "\\indexdef{}{" ^ kind' ^ "}{" ^ clean_string (ml_name txt1) ^ "}" ^