From cdcdeff92e6fa701370f8df616081cbcf466f9b0 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Wed, 26 Apr 2000 15:35:25 +0000
Subject: [PATCH] [project @ 2000-04-26 15:35:25 by simonmar] we were adding
 the include path twice, for some bizarre reason.

---
 ghc/driver/ghc.lprl |    1 -
 1 file changed, 1 deletion(-)

diff --git a/ghc/driver/ghc.lprl b/ghc/driver/ghc.lprl
index 5d42b0c..a6ff27c 100644
--- a/ghc/driver/ghc.lprl
+++ b/ghc/driver/ghc.lprl
@@ -1144,7 +1144,6 @@ sub setupIncPaths {
       push (@Include_dir, "$TopPwd/${CURRENT_DIR}/${GHC_INCLUDE_DIR}");
   } else {
       push (@Include_dir, "$InstLibDirGhc/includes");
-      push (@Include_dir, "$InstLibDirGhc/includes");
   }
 } # end of setupIncPaths
 \end{code}
-- 
1.7.10.4