src/Pure/ML/ml_context.ML
changeset 68865 dd44e31ca2c6
parent 68823 5e7b1ae10eb8
child 69187 d8849cfad60f
     1.1 --- a/src/Pure/ML/ml_context.ML	Fri Aug 31 16:17:30 2018 +0200
     1.2 +++ b/src/Pure/ML/ml_context.ML	Fri Aug 31 22:25:58 2018 +0200
     1.3 @@ -168,7 +168,7 @@
     1.4          (Option.map (Context.Proof o Context_Position.set_visible false) env_ctxt)
     1.5          (fn () =>
     1.6            (ML_Compiler.eval non_verbose Position.none env; Context.get_generic_context ())) ()
     1.7 -      |> (fn NONE => () | SOME context' => Context.>> (ML_Env.inherit context'));
     1.8 +      |> (fn NONE => () | SOME context' => Context.>> (ML_Env.inherit [context']));
     1.9  
    1.10      (*eval body*)
    1.11      val _ = ML_Compiler.eval flags pos body;