diff options
| -rw-r--r-- | toplevel/vernacexpr.ml | 5 |
1 files changed, 0 insertions, 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 |