diff options
Diffstat (limited to 'debugger/breakpoints.ml')
| -rw-r--r-- | debugger/breakpoints.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debugger/breakpoints.ml b/debugger/breakpoints.ml index f375528211..049d1c3b62 100644 --- a/debugger/breakpoints.ml +++ b/debugger/breakpoints.ml @@ -16,6 +16,7 @@ (******************************* Breakpoints ***************************) +open Primitives open Checkpoints open Debugcom open Instruct @@ -211,5 +212,4 @@ let exec_with_temporary_breakpoint pc funct = Exec.protect remove with x -> - Exec.protect remove; - raise x + cleanup x Exec.protect remove |