--- a/src/Doc/antiquote_setup.ML Tue Mar 25 10:37:10 2014 +0100
+++ b/src/Doc/antiquote_setup.ML Tue Mar 25 13:18:10 2014 +0100
@@ -99,7 +99,9 @@
else txt1 ^ " : " ^ txt2;
val txt' = if kind = "" then txt else kind ^ " " ^ txt;
- val _ = ML_Context.eval_in (SOME ctxt) false (#pos source1) (ml (toks1, toks2));
+ val _ =
+ ML_Context.eval_in (SOME ctxt) {SML = false, verbose = false} (#pos source1)
+ (ml (toks1, toks2));
val kind' = if kind = "" then "ML" else "ML " ^ kind;
in
"\\indexdef{}{" ^ kind' ^ "}{" ^ clean_string (ml_name txt1) ^ "}" ^