From 9aecb4427f0f8ca3cb4c26bc7f73bb74164a93d9 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Wed, 13 Mar 2013 00:00:17 +0000
Subject: 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
---
 kernel/csymtable.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'kernel/csymtable.ml')

diff --git a/kernel/csymtable.ml b/kernel/csymtable.ml
index bef5b751f0..5dd4cb5707 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)
 
-- 
cgit v1.2.3