From 74f6dceaab0146085e8ac48f9976665026099555 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Wed, 1 Dec 1999 17:34:36 +0000
Subject: poursuite de Vernacentries

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

(limited to 'kernel/typeops.mli')

diff --git a/kernel/typeops.mli b/kernel/typeops.mli
index 4f47bfd886..b935efd8c6 100644
--- a/kernel/typeops.mli
+++ b/kernel/typeops.mli
@@ -64,6 +64,7 @@ val apply_rel_list :
 
 val check_fix : env -> 'a evar_map -> constr -> unit
 val check_cofix : env -> 'a evar_map -> constr -> unit
+val control_only_guard : env -> 'a evar_map -> constr -> unit
 
 val type_fixpoint : env -> 'a evar_map -> name list -> typed_type array 
     -> unsafe_judgment array -> constraints
-- 
cgit v1.2.3