From fe5afb1cd1c0242ef813e469d6156291d6ccf8a6 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Sun, 15 Mar 2009 18:52:27 +0000
Subject: [PATCH] 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