From 27a0d78c02d5c24d67246589964d189a61eb678a Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 1 Oct 2000 13:52:24 +0000
Subject: Bug message erreur

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

(limited to 'kernel')

diff --git a/kernel/typeops.ml b/kernel/typeops.ml
index d3b8383262..c4e177d44e 100644
--- a/kernel/typeops.ml
+++ b/kernel/typeops.ml
@@ -335,7 +335,7 @@ let apply_rel_list env sigma nocheck argjl funj =
 		   apply_rec (n+1) (subst1 hj.uj_val c2) cst' restjl
 		 with NotConvertible -> 
 		   error_cant_apply_bad_type CCI env sigma
-		     (n,body_of_type hj.uj_type,c1)
+		     (n,c1,body_of_type hj.uj_type)
 		     funj argjl)
 
           | _ ->
-- 
cgit v1.2.3