From 7e50cbcc7e0ecbc9c4dd7bace9f2cb261a2c2d84 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Wed, 13 Mar 2013 00:00:37 +0000
Subject: Restrict (try...with...) to avoid catching critical exn (part 11)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16287 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 scripts/coqmktop.ml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'scripts')

diff --git a/scripts/coqmktop.ml b/scripts/coqmktop.ml
index 6f05683ddd..a9ec682209 100644
--- a/scripts/coqmktop.ml
+++ b/scripts/coqmktop.ml
@@ -256,8 +256,8 @@ let create_tmp_main_file modules =
     output_string oc "Coqtop.start();;\n";
     close_out oc;
     main_name
-  with e ->
-    clean main_name; raise e
+  with reraise ->
+    clean main_name; raise reraise
 
 (* main part *)
 let main () =
@@ -312,8 +312,8 @@ let main () =
 	clean main_file;
 	(* command gives the exit code in HSB, and signal in LSB !!! *)
 	if retcode > 255 then retcode lsr 8 else retcode
-  with e ->
-    clean main_file; raise e
+  with reraise ->
+    clean main_file; raise reraise
 
 let retcode =
   try Printexc.print main () with _ -> 1
-- 
cgit v1.2.3