From 3f9b4e7855cf4594708a9fbad194c89540d2cf1e Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Wed, 31 Mar 2004 12:30:34 +0000
Subject: Added support for cf and ebnf formats

---
 src/GF/Compile/Rename.hs | 1 +
 1 file changed, 1 insertion(+)

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

diff --git a/src/GF/Compile/Rename.hs b/src/GF/Compile/Rename.hs
index 30c2b2c71..6c3f964df 100644
--- a/src/GF/Compile/Rename.hs
+++ b/src/GF/Compile/Rename.hs
@@ -62,6 +62,7 @@ renameIdentTerm env@(act,imps) t =
     m <- lookupErr m' qualifs
     f <- lookupTree prt c m
     return $ f c
+  QC m' c | m' == cPredef {- && isInPredefined c -} -> return t
   QC m' c -> do
     m <- lookupErr m' qualifs
     f <- lookupTree prt c m
-- 
cgit v1.2.3