src/Pure/Isar/toplevel.ML
changeset 67643 b846f7a11fda
parent 67642 10ff1f077119
child 67932 04352338f7f3
     1.1 --- a/src/Pure/Isar/toplevel.ML	Sat Feb 17 16:36:40 2018 +0100
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Sat Feb 17 16:42:15 2018 +0100
     1.3 @@ -244,7 +244,7 @@
     1.4    let
     1.5      val cont_node = reset_presentation node;
     1.6      val context = cases_node I (Context.Proof o Proof.context_of) cont_node;
     1.7 -    fun state_error e nd = (State (SOME nd, SOME node), e);
     1.8 +    fun state_error e nd = (State (SOME nd, SOME cont_node), e);
     1.9  
    1.10      val (result, err) =
    1.11        cont_node