diff options
| -rw-r--r-- | toplevel/autoinstance.mli | 2 | ||||
| -rw-r--r-- | toplevel/libtypes.mli | 2 |
2 files changed, 0 insertions, 4 deletions
diff --git a/toplevel/autoinstance.mli b/toplevel/autoinstance.mli index b6cde8cf64..4f1787e14f 100644 --- a/toplevel/autoinstance.mli +++ b/toplevel/autoinstance.mli @@ -6,8 +6,6 @@ * GNU Lesser General Public License Version 2.1 ***********************************************************************) -(** {% $ %}Id:{% $ %} *) - open Term open Libnames open Typeclasses diff --git a/toplevel/libtypes.mli b/toplevel/libtypes.mli index 07d826933c..5d0fcfee60 100644 --- a/toplevel/libtypes.mli +++ b/toplevel/libtypes.mli @@ -6,8 +6,6 @@ * GNU Lesser General Public License Version 2.1 ***********************************************************************) -(** {% $ %}Id:{% $ %} *) - open Term (** Persistent library of all declared object, indexed by their types |