From 750ef2ca30b7e075d0a0b1404ee2dc741b3f2166 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Tue, 23 May 2006 22:20:00 +0000
Subject: bug fix in with-modules and gr checker; factoring out cats to Common

---
 src/GF/Compile/Rebuild.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/GF/Compile/Rebuild.hs')

diff --git a/src/GF/Compile/Rebuild.hs b/src/GF/Compile/Rebuild.hs
index fd7d4cd88..452a485c8 100644
--- a/src/GF/Compile/Rebuild.hs
+++ b/src/GF/Compile/Rebuild.hs
@@ -72,8 +72,8 @@ rebuildModule ms mo@(i,mi) = do
                      ++ [oQualif i i | i <- map snd insts] ----
                      ++ [oSimple i   | i <- map snd insts] ----
                ----      ++ [oSimple ext] ---- to encode dependence
-      --- check if me is incomplete; --- why inherit all forced by syntax
-      return $ ModMod $ Module mt0 stat' fs (map inheritAll me) ops1 js 
+      --- check if me is incomplete
+      return $ ModMod $ Module mt0 stat' fs me ops1 js 
                           ---- (mapTree (qualifInstanceInfo insts) js) -- not needed
 
     _ -> return mi
-- 
cgit v1.2.3