From b75ec1ff2208f833fca4fb86ca0d8196e08a033e Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 17 Dec 2001 19:35:34 +0000
Subject: Mauvais nom d'erreur d'échec de nth

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

diff --git a/proofs/clenv.ml b/proofs/clenv.ml
index 1a2ebd32ff..43a07aa1a5 100644
--- a/proofs/clenv.ml
+++ b/proofs/clenv.ml
@@ -936,8 +936,8 @@ let clenv_match_args s clause =
 		      str " occurs more than once in binding");
 		 (try 
 		    List.nth mvs (n-1)
-		  with Failure "item" -> errorlabstrm "clenv_match_args"
-                      (str"No such binder"))
+		  with Failure "nth" -> errorlabstrm "clenv_match_args"
+                      (str "No such binder"))
 	     | Com -> anomaly "No free term in clenv_match_args")
 	in
 	let k_typ = w_hnf_constr clause.hook (clenv_instance_type clause k)
-- 
cgit v1.2.3