src/Pure/pure_syn.ML

--- a/src/Pure/pure_syn.ML	Thu Apr 17 14:52:23 2014 +0200
+++ b/src/Pure/pure_syn.ML	Sat Apr 19 17:23:05 2014 +0200
@@ -23,7 +23,7 @@
           val [{src_path, lines, digest, pos}] = files (Context.theory_of gthy);
           val provide = Resources.provide (src_path, digest);
           val source = {delimited = true, text = cat_lines lines, pos = pos};
-          val flags = {SML = false, redirect = true, verbose = true};
+          val flags = {SML = false, exchange = false, redirect = true, verbose = true};
         in
           gthy
           |> ML_Context.exec (fn () => ML_Context.eval_source flags source)