From e08496015de2c25ba41cbcf72d503e3f374bda49 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 29 Jun 2000 11:14:27 +0000
Subject: Relative prend sigma en plus pour la normalisation du message
 d'erreur

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

(limited to 'kernel')

diff --git a/kernel/typeops.mli b/kernel/typeops.mli
index 625a33193c..6d1faa0ff4 100644
--- a/kernel/typeops.mli
+++ b/kernel/typeops.mli
@@ -29,7 +29,7 @@ val assumption_of_type_judgment : unsafe_type_judgment -> typed_type
 val type_judgment : 
   env -> 'a evar_map -> unsafe_judgment -> unsafe_type_judgment
 
-val relative : env -> int -> unsafe_judgment
+val relative : env -> 'a evar_map -> int -> unsafe_judgment
 
 val type_of_constant : env -> 'a evar_map -> constant -> typed_type
 
-- 
cgit v1.2.3