diff options
Diffstat (limited to 'toplevel/class.ml')
| -rw-r--r-- | toplevel/class.ml | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/toplevel/class.ml b/toplevel/class.ml index 78b712301..dfb74b9e9 100644 --- a/toplevel/class.ml +++ b/toplevel/class.ml @@ -7,25 +7,17 @@ (************************************************************************) open Errors -open Util open Pp open Names -open Nameops open Term open Termops -open Inductive -open Declarations open Entries open Environ -open Inductive -open Lib open Classops open Declare -open Libnames open Globnames open Nametab open Decl_kinds -open Safe_typing let strength_min l = if List.mem Local l then Local else Global |