diff options
| author | krasimir <krasimir@chalmers.se> | 2009-03-15 17:33:14 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-03-15 17:33:14 +0000 |
| commit | 3afe18dc576bbb71b124126ebdf2a9155fe1fb8d (patch) | |
| tree | 2e7178c46dccf5a11ca22d8ae2d03da70d41f0a9 /src/GF/Grammar | |
| parent | 20813470333beefc8a09fec3daf262c6736e8c51 (diff) | |
code cleanup in the typechecker
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 |