changeset 69892 | f752f3993db8 |
parent 68823 | 5e7b1ae10eb8 |
child 70991 | f9f7c34b7dd4 |
--- a/src/Pure/Tools/debugger.ML Sun Mar 10 21:12:29 2019 +0100 +++ b/src/Pure/Tools/debugger.ML Sun Mar 10 21:31:28 2019 +0100 @@ -279,8 +279,7 @@ if Command.eval_finished eval then let val st = Command.eval_result_state eval; - val ctxt = Toplevel.presentation_context st - handle Toplevel.UNDEF => err (); + val ctxt = Toplevel.presentation_context st; in (case ML_Env.get_breakpoint (Context.Proof ctxt) breakpoint of SOME (b, _) => b := breakpoint_state