--- a/src/Pure/ML/ml_context.ML Sat Apr 09 16:16:05 2016 +0200
+++ b/src/Pure/ML/ml_context.ML Sat Apr 09 19:09:11 2016 +0200
@@ -220,4 +220,4 @@
end;
-val ML = ML_Context.eval_source ML_Compiler.flags;
+val ML = ML_Context.eval_source (ML_Compiler.verbose true ML_Compiler.flags);