diff options
Diffstat (limited to 'kernel/modops.ml')
| -rw-r--r-- | kernel/modops.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/kernel/modops.ml b/kernel/modops.ml index cd3bc1513d..5eddb6c843 100644 --- a/kernel/modops.ml +++ b/kernel/modops.ml @@ -16,10 +16,7 @@ (* This file provides with various operations on modules and module types *) open Errors -open Util -open Pp open Names -open Univ open Term open Declarations open Environ |