From 6274447373e7dc69234da3415f8d9c4d4b67ced2 Mon Sep 17 00:00:00 2001
From: barras
Date: Mon, 4 Mar 2002 13:29:45 +0000
Subject: Nouveau Rewrite-in plus economique

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

(limited to 'kernel/inductive.mli')

diff --git a/kernel/inductive.mli b/kernel/inductive.mli
index 719205331c..79900a84ef 100644
--- a/kernel/inductive.mli
+++ b/kernel/inductive.mli
@@ -43,9 +43,6 @@ val type_of_constructor  : env -> constructor -> types
 (* Return constructor types in normal form *)
 val arities_of_constructors : env -> inductive -> types array
 
-
-exception Arity of (constr * constr * Type_errors.arity_error) option
-
 (* [type_case_branches env (I,args) (p:A) c] computes useful types
    about the following Cases expression:
       <p>Cases (c :: (I args)) of b1..bn end
-- 
cgit v1.2.3