From 3afe18dc576bbb71b124126ebdf2a9155fe1fb8d Mon Sep 17 00:00:00 2001 From: krasimir Date: Sun, 15 Mar 2009 17:33:14 +0000 Subject: code cleanup in the typechecker --- src/GF/Grammar/PrGrammar.hs | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'src/GF/Grammar') 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 -- cgit v1.2.3