From ac7f0dedf8916f52118668f7775ee670189f705d Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Sat, 18 Apr 2009 21:32:45 +0000
Subject: [PATCH] Stopped lib being stripped from filenames, which helps solve
 the old occam code that #USEs things that are now modules

---
 frontends/PreprocessOccam.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontends/PreprocessOccam.hs b/frontends/PreprocessOccam.hs
index 57fa67a..20697b7 100644
--- a/frontends/PreprocessOccam.hs
+++ b/frontends/PreprocessOccam.hs
@@ -234,7 +234,7 @@ handleUse m (modName:_)
     mangleModName :: String -> String
     mangleModName mod
         = case splitExtension mod of
-            (base, ext) | ext `elem` ["inc", "lib", "occ", "tce"]
+            (base, ext) | ext `elem` ["inc", "occ", "tce"]
               -> base
             (_, "") -> mod
             _ -> mod -- Not sure what the extension might be...