diff options
Diffstat (limited to 'intf/constrexpr.mli')
-rw-r--r-- | intf/constrexpr.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/intf/constrexpr.mli b/intf/constrexpr.mli index 3acfc3d44..322528479 100644 --- a/intf/constrexpr.mli +++ b/intf/constrexpr.mli @@ -7,10 +7,8 @@ (************************************************************************) open Loc -open Pp open Names open Libnames -open Term open Misctypes open Decl_kinds |