diff options
Diffstat (limited to 'src/GF/Grammar/PrGrammar.hs')
| -rw-r--r-- | src/GF/Grammar/PrGrammar.hs | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/src/GF/Grammar/PrGrammar.hs b/src/GF/Grammar/PrGrammar.hs index a4a9d9256..1b26d1d48 100644 --- a/src/GF/Grammar/PrGrammar.hs +++ b/src/GF/Grammar/PrGrammar.hs @@ -21,15 +21,8 @@ module GF.Grammar.PrGrammar (Print(..), prtBad, - prGrammar, prModule, - prContext, prParam, - prQIdent, prQIdent_, - prRefinement, prTermOpt, --- prt_Tree, prMarkedTree, prTree, --- tree2string, prprTree, + prGrammar, prConstrs, prConstraints, --- prMetaSubst, prEnv, prMSubst, - prExp, prOperSignature, prTermTabular ) where |