diff options
Diffstat (limited to 'otherlibs/labltk/support/protocol.ml')
| -rw-r--r-- | otherlibs/labltk/support/protocol.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/otherlibs/labltk/support/protocol.ml b/otherlibs/labltk/support/protocol.ml index 586c937b4..6e3208cfe 100644 --- a/otherlibs/labltk/support/protocol.ml +++ b/otherlibs/labltk/support/protocol.ml @@ -179,11 +179,11 @@ let protected_dispatch id args = with | e -> try - Printf.eprintf "Uncaught exception: %s\n" (Printexc.to_string e); - flush stderr; - (* raise x *) + Printf.eprintf "Uncaught exception: %s\n" (Printexc.to_string e); + flush stderr; + (* raise x *) with - Out_of_memory -> raise Out_of_memory + Out_of_memory -> raise Out_of_memory | Sys.Break -> raise Sys.Break let _ = Callback.register "camlcb" protected_dispatch |