diff options
Diffstat (limited to 'src')
| -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
|