diff options
Diffstat (limited to 'interp/coqlib.mli')
-rw-r--r-- | interp/coqlib.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/interp/coqlib.mli b/interp/coqlib.mli index a77b1060c..8146c4715 100644 --- a/interp/coqlib.mli +++ b/interp/coqlib.mli @@ -12,7 +12,6 @@ open Globnames open Nametab open Term open Pattern -open Errors open Util (** This module collects the global references, constructions and |