From 5dfc9bbc0b87d27b4ef8848a36520605fa868fe3 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Fri, 18 Jun 2010 10:19:05 +0000
Subject: the automatically generated printnames were just junks. Now we store
 printnames only if they are explicitly specified.

---
 src/runtime/haskell/PGF/Macros.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/runtime')

diff --git a/src/runtime/haskell/PGF/Macros.hs b/src/runtime/haskell/PGF/Macros.hs
index 445592a9b..1bee56b9b 100644
--- a/src/runtime/haskell/PGF/Macros.hs
+++ b/src/runtime/haskell/PGF/Macros.hs
@@ -115,7 +115,7 @@ contextLength ty = case ty of
 
 -- | Show the printname of function or category
 showPrintName :: PGF -> Language -> CId -> String
-showPrintName pgf lang id = lookMap "?" id $ printnames $ lookMap (error "no lang") lang $ concretes pgf
+showPrintName pgf lang id = lookMap (showCId id) id $ printnames $ lookMap (error "no lang") lang $ concretes pgf
 
 term0 :: CId -> Term
 term0 = TM . showCId
-- 
cgit v1.2.3