Restrict (try...with...) to avoid catching critical exn (part 8)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16284 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 3 insertions, 3 deletions

diff --git a/kernel/csymtable.ml b/kernel/csymtable.ml
index bef5b751f..5dd4cb570 100644
--- a/kernel/csymtable.ml
+++ b/kernel/csymtable.ml
@@ -160,11 +160,11 @@ and eval_to_patch env (buff,pl,fv) =
 and val_of_constr env c =
   let (_,fun_code,_ as ccfv) =
     try compile env c
-    with e ->
-      let e = Errors.push e in
+    with reraise ->
+      let reraise = Errors.push reraise in
       let () = print_string "can not compile \n" in
       let () = Format.print_flush () in
-      raise e
+      raise reraise
   in
   eval_to_patch env (to_memory ccfv)