diff options
Diffstat (limited to 'toplevel/coqinit.ml')
-rw-r--r-- | toplevel/coqinit.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/toplevel/coqinit.ml b/toplevel/coqinit.ml index eac009984..718e65b50 100644 --- a/toplevel/coqinit.ml +++ b/toplevel/coqinit.ml @@ -7,8 +7,6 @@ (************************************************************************) open Pp -open System -open Toplevel let (/) = Filename.concat |