export ppLabel from GF.Grammar.Printer

2009-03-15 18:52:27 +00:00
parent c073b05118
commit fe5afb1cd1
1 changed files with 1 additions and 0 deletions
--- 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