From 62ef772a2c996f2d7d17529eeee845be90586a78 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Mon, 14 Sep 2009 12:16:02 +0000
Subject: CheckGrammar is now using the printer in GF.Grammar.Printer. Fixed
 bug that was hiding the warnings

---
 src/GF/Grammar/Printer.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/GF/Grammar/Printer.hs')

diff --git a/src/GF/Grammar/Printer.hs b/src/GF/Grammar/Printer.hs
index 5f46d4321..e366f45d5 100644
--- a/src/GF/Grammar/Printer.hs
+++ b/src/GF/Grammar/Printer.hs
@@ -235,7 +235,7 @@ ppDDecl q (id,typ)
   | id == identW = ppTerm q 6 typ
   | otherwise    = parens (ppIdent id <+> colon <+> ppTerm q 0 typ)
 
-ppIdent = text . prIdent
+ppIdent = text . showIdent
 
 ppQIdent q m id =
   case q of
-- 
cgit v1.2.3