From 783f5a0aecbc96cdc423568a0d71ebcd54b9207c Mon Sep 17 00:00:00 2001
From: bjorn <bjorn@bringert.net>
Date: Tue, 3 Jun 2008 19:56:51 +0000
Subject: [PATCH] Added lookPrintName.

---
 src-3.0/PGF/Macros.hs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src-3.0/PGF/Macros.hs b/src-3.0/PGF/Macros.hs
index 3577ed23a..aaefa2ccf 100644
--- a/src-3.0/PGF/Macros.hs
+++ b/src-3.0/PGF/Macros.hs
@@ -26,6 +26,10 @@ lookParamLincat :: PGF -> CId -> CId -> Term
 lookParamLincat pgf lang fun = 
   lookMap tm0 fun $ paramlincats $ lookMap (error "no lang") lang $ concretes pgf
 
+lookPrintName :: PGF -> CId -> CId -> Term
+lookPrintName pgf lang fun = 
+  lookMap tm0 fun $ printnames $ lookMap (error "no lang") lang $ concretes pgf
+
 lookType :: PGF -> CId -> Type
 lookType pgf f = 
   fst $ lookMap (error $ "lookType " ++ show f) f (funs (abstract pgf))