src/Pure/pure_syn.ML
changeset 56618 874bdedb2313
parent 56304 40274e4f5ebf
child 56895 f058120aaad4
     1.1 --- a/src/Pure/pure_syn.ML	Thu Apr 17 14:52:23 2014 +0200
     1.2 +++ b/src/Pure/pure_syn.ML	Sat Apr 19 17:23:05 2014 +0200
     1.3 @@ -23,7 +23,7 @@
     1.4            val [{src_path, lines, digest, pos}] = files (Context.theory_of gthy);
     1.5            val provide = Resources.provide (src_path, digest);
     1.6            val source = {delimited = true, text = cat_lines lines, pos = pos};
     1.7 -          val flags = {SML = false, redirect = true, verbose = true};
     1.8 +          val flags = {SML = false, exchange = false, redirect = true, verbose = true};
     1.9          in
    1.10            gthy
    1.11            |> ML_Context.exec (fn () => ML_Context.eval_source flags source)