src/Pure/pure_syn.ML
changeset 56275 600f432ab556
parent 56208 06cc31dff138
child 56304 40274e4f5ebf
     1.1 --- a/src/Pure/pure_syn.ML	Tue Mar 25 10:37:10 2014 +0100
     1.2 +++ b/src/Pure/pure_syn.ML	Tue Mar 25 13:18:10 2014 +0100
     1.3 @@ -25,7 +25,7 @@
     1.4            val source = {delimited = true, text = cat_lines lines, pos = pos};
     1.5          in
     1.6            gthy
     1.7 -          |> ML_Context.exec (fn () => ML_Context.eval_source true source)
     1.8 +          |> ML_Context.exec (fn () => ML_Context.eval_source {SML = false, verbose = true} source)
     1.9            |> Local_Theory.propagate_ml_env
    1.10            |> Context.mapping provide (Local_Theory.background_theory provide)
    1.11          end)));