From f1778f0e830c50aaec250916f14e202d95960414 Mon Sep 17 00:00:00 2001
From: barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 9 Oct 2001 16:40:03 +0000
Subject: Suppression des arguments sur les constantes, inductifs et
 constructeurs

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

(limited to 'pretyping/classops.mli')

diff --git a/pretyping/classops.mli b/pretyping/classops.mli
index 4b5261647..019644e20 100644
--- a/pretyping/classops.mli
+++ b/pretyping/classops.mli
@@ -20,9 +20,9 @@ open Declare
 type cl_typ = 
   | CL_SORT 
   | CL_FUN 
-  | CL_SECVAR of variable_path
-  | CL_CONST of constant_path
-  | CL_IND of inductive_path
+  | CL_SECVAR of variable
+  | CL_CONST of constant
+  | CL_IND of inductive
 
 (* This is the type of infos for declared classes *)
 type cl_info_typ = {
-- 
cgit v1.2.3