From 5597cff5cb186616a0db14a2e579f7261f1a32a3 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Sun, 15 Mar 2009 18:52:27 +0000
Subject: export ppLabel from GF.Grammar.Printer

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

diff --git a/src/GF/Grammar/Printer.hs b/src/GF/Grammar/Printer.hs
index e55841704..474b22fe9 100644
--- a/src/GF/Grammar/Printer.hs
+++ b/src/GF/Grammar/Printer.hs
@@ -10,6 +10,7 @@
 module GF.Grammar.Printer
            ( TermPrintQual(..)
            , ppIdent
+           , ppLabel
            , ppModule
            , ppJudgement
            , ppTerm
-- 
cgit v1.2.3