From 01fef5109c2920d13004ae5b94d192fa5fba205f Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Mon, 23 Feb 2009 12:42:44 +0000
Subject: Perhaps -> Maybe refactoring and better error message for conflicts
 during module update

---
 src/GF/Grammar/PrGrammar.hs | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

(limited to 'src/GF/Grammar/PrGrammar.hs')

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
 
-- 
cgit v1.2.3