Skip to content
Snippets Groups Projects
Commit 31e626aa authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[kernel] removed useless condition in project

parent 56a1f50d
No related branches found
No related tags found
No related merge requests found
...@@ -709,13 +709,11 @@ module Undo = struct ...@@ -709,13 +709,11 @@ module Undo = struct
let clear_breakpoint () = Extlib.safe_remove (!filename:>string) let clear_breakpoint () = Extlib.safe_remove (!filename:>string)
let restore () = let restore () =
if Cmdline.use_obj then begin try
try clear_breakpoint ()
clear_breakpoint () with IOError s ->
with IOError s -> feedback ~dkey "cannot restore the last breakpoint: %S" s;
feedback ~dkey "cannot restore the last breakpoint: %S" s; clear_breakpoint ()
clear_breakpoint ()
end
let breakpoint () = let breakpoint () =
if Cmdline.use_obj then begin if Cmdline.use_obj then begin
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment