From 22675ad99fb0dcbfb994a598a4a05e599ccb9780 Mon Sep 17 00:00:00 2001
From: clrenard
Date: Tue, 20 Apr 2004 14:20:16 +0000
Subject: Amélioration message d'erreur quand échec unification

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5691 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 proofs/clenv.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'proofs')

diff --git a/proofs/clenv.ml b/proofs/clenv.ml
index d5df3bc958..d3c835be43 100644
--- a/proofs/clenv.ml
+++ b/proofs/clenv.ml
@@ -629,7 +629,7 @@ let clenv_merge with_types metas evars clenv =
 			   (clenv_wtactic
 			      (mimick_evar f (Array.length cl) evn)
 			      clenv)
-           	     | _ -> error "w_Unify")
+           	     | _ -> raise ex(********* error  "w_Unify" *))
 	      end
 
 	  | _ -> anomaly "clenv_resrec"))
-- 
cgit v1.2.3