From d98dfbcae463f8d699765e2d7004becd7714d6cf Mon Sep 17 00:00:00 2001
From: msozeau
Date: Wed, 13 Apr 2011 14:26:59 +0000
Subject: Add [Polymorphic] flag for defs

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

(limited to 'kernel/typeops.mli')

diff --git a/kernel/typeops.mli b/kernel/typeops.mli
index c1c805f387..af46b98751 100644
--- a/kernel/typeops.mli
+++ b/kernel/typeops.mli
@@ -101,6 +101,5 @@ val type_of_constant_knowing_parameters :
   env -> constant_type -> constr array -> types
 
 (** Make a type polymorphic if an arity *)
-val make_polymorphic_if_constant_for_ind : env -> unsafe_judgment ->
-  constant_type
+val make_polymorphic : env -> unsafe_judgment -> constant_type
 
-- 
cgit v1.2.3