--- a/src/Doc/antiquote_setup.ML Thu Mar 27 17:12:40 2014 +0100
+++ b/src/Doc/antiquote_setup.ML Thu Mar 27 17:56:13 2014 +0100
@@ -100,8 +100,7 @@
val txt' = if kind = "" then txt else kind ^ " " ^ txt;
val _ =
- ML_Context.eval_in (SOME ctxt) {SML = false, verbose = false} (#pos source1)
- (ml (toks1, toks2));
+ ML_Context.eval_in (SOME ctxt) ML_Compiler.flags (#pos source1) (ml (toks1, toks2));
val kind' = if kind = "" then "ML" else "ML " ^ kind;
in
"\\indexdef{}{" ^ kind' ^ "}{" ^ clean_string (ml_name txt1) ^ "}" ^