diff options
| author | krasimir <krasimir@chalmers.se> | 2009-03-15 18:52:27 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-03-15 18:52:27 +0000 |
| commit | 5597cff5cb186616a0db14a2e579f7261f1a32a3 (patch) | |
| tree | 5cbaaaae0508295bdf5188bfbe535e9d740d65d8 | |
| parent | 3ac05b4f613a037265b14c381305fd859cc13263 (diff) | |
export ppLabel from GF.Grammar.Printer
| -rw-r--r-- | src/GF/Grammar/Printer.hs | 1 |
1 files changed, 1 insertions, 0 deletions
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
|