From f1d434e2044840f1e3ee7dc7d359a1f25846881e Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 3 Dec 1999 17:32:44 +0000
Subject: compilation native

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@201 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 scripts/coqmktop.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'scripts')

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
-- 
cgit v1.2.3