diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/coqmktop.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/scripts/coqmktop.ml b/scripts/coqmktop.ml index 6a244b9887..bde07410ac 100644 --- a/scripts/coqmktop.ml +++ b/scripts/coqmktop.ml @@ -17,8 +17,7 @@ let ocamlobjs = ["unix.cma"] let dynobjs = ["dynlink.cma"] let camlp4objs = ["gramlib.cma"] let configobjs = ["coq_config.cmo"] -let launchobjs = ["usage.cmo"] -let libobjs = ocamlobjs @ camlp4objs @ configobjs @ launchobjs +let libobjs = ocamlobjs @ camlp4objs @ configobjs let spaces = Str.regexp "[ \t\n]+" let split_cmo l = Str.split spaces l |