From 301d5af223390fa5c82da9ae9958f610493ba814 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 31 May 2000 11:46:29 +0000
Subject: Nettoyage de Generic

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

(limited to 'kernel/typeops.mli')

diff --git a/kernel/typeops.mli b/kernel/typeops.mli
index 7ab2404f8c..3d2074c977 100644
--- a/kernel/typeops.mli
+++ b/kernel/typeops.mli
@@ -67,8 +67,8 @@ val apply_rel_list :
   env -> 'a evar_map -> bool -> unsafe_judgment list -> unsafe_judgment
     -> unsafe_judgment * constraints
 
-val check_fix : env -> 'a evar_map -> constr -> unit
-val check_cofix : env -> 'a evar_map -> constr -> unit
+val check_fix : env -> 'a evar_map -> fixpoint -> unit
+val check_cofix : env -> 'a evar_map -> cofixpoint -> unit
 val control_only_guard : env -> 'a evar_map -> constr -> unit
 
 val type_fixpoint : env -> 'a evar_map -> name list -> typed_type array 
-- 
cgit v1.2.3