--- a/src/Pure/Thy/thy_output.ML Thu Mar 27 17:12:40 2014 +0100
+++ b/src/Pure/Thy/thy_output.ML Thu Mar 27 17:56:13 2014 +0100
@@ -639,7 +639,7 @@
fun ml_text name ml = antiquotation name (Scan.lift Args.name_source_position)
(fn {context, ...} => fn source =>
- (ML_Context.eval_in (SOME context) {SML = false, verbose = false} (#pos source) (ml source);
+ (ML_Context.eval_in (SOME context) ML_Compiler.flags (#pos source) (ml source);
Symbol_Pos.source_content source
|> #1
|> (if Config.get context quotes then quote else I)