From b2c056c881dcb3035158ab177f2363c1527df397 Mon Sep 17 00:00:00 2001
From: coq
Date: Tue, 30 Dec 2003 09:56:20 +0000
Subject: ameliorations coqide

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

(limited to 'scripts')

diff --git a/scripts/coqmktop.ml b/scripts/coqmktop.ml
index cd6a5078a1..a787b1e788 100644
--- a/scripts/coqmktop.ml
+++ b/scripts/coqmktop.ml
@@ -100,7 +100,7 @@ let files_to_link userfiles =
   let toplevel_objs =
     if !top then topobjs else if !opt then notopobjs else [] in
   let ide_objs = if !coqide then 
-    "threads.cma"::"lablgtk.cma"::"gtkThread.cmo"::ide 
+    "str.cma"::"threads.cma"::"lablgtk.cma"::"gtkThread.cmo"::ide 
   else [] 
   in
   let objs = 
-- 
cgit v1.2.3