diff options
Diffstat (limited to 'src/GF/Grammar')
| -rw-r--r-- | src/GF/Grammar/PrGrammar.hs | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/GF/Grammar/PrGrammar.hs b/src/GF/Grammar/PrGrammar.hs index 1b26d1d48..bad356bef 100644 --- a/src/GF/Grammar/PrGrammar.hs +++ b/src/GF/Grammar/PrGrammar.hs @@ -22,7 +22,7 @@ module GF.Grammar.PrGrammar (Print(..), prtBad, prGrammar, - prConstrs, prConstraints, + prConstrs, prTermTabular ) where @@ -152,9 +152,6 @@ prprTree = prf False where -- auxiliaries -prConstraints :: Constraints -> String -prConstraints = concat . prConstrs - prMetaSubst :: MetaSubst -> String prMetaSubst = concat . prMSubst |