From 04f39a03fd7e3845dbe1e8cf5b46cfdf219e6623 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 13 Mar 2003 13:11:14 +0000
Subject: code mort

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3764 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/vernacexpr.ml | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/toplevel/vernacexpr.ml b/toplevel/vernacexpr.ml
index 8204a1ead7..14c9a295e5 100644
--- a/toplevel/vernacexpr.ml
+++ b/toplevel/vernacexpr.ml
@@ -22,11 +22,6 @@ exception ProtectedLoop
 exception Drop
 exception Quit
 
-type def_kind = DEFINITION | LET | LOCAL | THEOREM | LETTOP | DECL | REMARK
-  | FACT | LEMMA
-  | COERCION | LCOERCION | OBJECT | LOBJECT | OBJCOERCION | LOBJCOERCION
-  | SUBCLASS | LSUBCLASS
-
 open Libnames
 open Nametab
 
-- 
cgit v1.2.3