From 31e626aa5656fee1a7ac4a2b49e02a347d477094 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 30 May 2022 14:13:10 +0200
Subject: [PATCH] [kernel] removed useless condition in project
---
src/libraries/project/project.ml | 12 +++++-------
1 file changed, 5 insertions(+), 7 deletions(-)
diff --git a/src/libraries/project/project.ml b/src/libraries/project/project.ml
index f5d4e2a837b..691c2a71679 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
--
GitLab