diff options
Diffstat (limited to 'toplevel/cerrors.ml')
-rw-r--r-- | toplevel/cerrors.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/toplevel/cerrors.ml b/toplevel/cerrors.ml index 74e4701c0..d1e379cca 100644 --- a/toplevel/cerrors.ml +++ b/toplevel/cerrors.ml @@ -8,7 +8,6 @@ open Pp open Errors -open Util open Indtypes open Type_errors open Pretype_errors |