src/Pure/ML/ml_file.ML

--- a/src/Pure/ML/ml_file.ML	Mon Aug 17 15:29:30 2015 +0200
+++ b/src/Pure/ML/ml_file.ML	Mon Aug 17 16:27:12 2015 +0200
@@ -14,9 +14,9 @@
           val [{src_path, lines, digest, pos}] = files (Context.theory_of gthy);
           val provide = Resources.provide (src_path, digest);
           val source = Input.source true (cat_lines lines) (pos, pos);
-          val flags =
+          val flags: ML_Compiler.flags =
             {SML = false, exchange = false, redirect = true, verbose = true,
-              writeln = writeln, warning = warning};
+              debug = NONE, writeln = writeln, warning = warning};
         in
           gthy
           |> ML_Context.exec (fn () => ML_Context.eval_source flags source)