diff --git a/src/libraries/project/project.ml b/src/libraries/project/project.ml
index f5d4e2a837b94806d8d26895f6362f19711455ca..691c2a71679150a14e37fffcab248713a8604bb0 100644
--- a/src/libraries/project/project.ml
+++ b/src/libraries/project/project.ml
@@ -709,13 +709,11 @@ module Undo = struct
   let clear_breakpoint () = Extlib.safe_remove (!filename:>string)
 
   let restore () =
-    if Cmdline.use_obj then begin
-      try
-        clear_breakpoint ()
-      with IOError s ->
-        feedback ~dkey "cannot restore the last breakpoint: %S" s;
-        clear_breakpoint ()
-    end
+    try
+      clear_breakpoint ()
+    with IOError s ->
+      feedback ~dkey "cannot restore the last breakpoint: %S" s;
+      clear_breakpoint ()
 
   let breakpoint () =
     if Cmdline.use_obj then begin