From 8361c31cd14e95ae34386685e94a7fea86563d14 Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 17 Jan 2007 15:22:06 +0000
Subject: Correction bug #1282

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

diff --git a/scripts/coqmktop.ml b/scripts/coqmktop.ml
index 3091f0fa1..9cdcf9ee9 100644
--- a/scripts/coqmktop.ml
+++ b/scripts/coqmktop.ml
@@ -57,7 +57,7 @@ let includes () =
   List.fold_right
     (fun d l -> "-I" :: List.fold_left Filename.concat !src_coqtop d :: l)
     (src_dirs ())
-    (["-I"; "\""; Coq_config.camlp4lib; "\""] @ 
+    (["-I"; "\"" ^ Coq_config.camlp4lib ^ "\""] @ 
      (if !coqide then ["-thread"; "-I"; "+lablgtk2"] else []))
 
 (* Transform bytecode object file names in native object file names *)
-- 
cgit v1.2.3