src/Pure/Isar/toplevel.ML
changeset 68878 9203eb13bef7
parent 68877 33d78e5e0a00
child 69724 1c201e4792cb
     1.1 --- a/src/Pure/Isar/toplevel.ML	Sun Sep 02 14:56:26 2018 +0200
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Sun Sep 02 19:48:15 2018 +0200
     1.3 @@ -649,7 +649,7 @@
     1.4        (case try proof_of st of
     1.5          SOME state => not (Proof.is_notepad state) orelse can Proof.end_notepad state
     1.6        | NONE => true))
     1.7 -    (proof (Proof.begin_notepad o Proof.context_of));
     1.8 +    (proof Proof.reset_notepad);
     1.9  
    1.10  end;
    1.11