1 files changed, 0 insertions, 28 deletions
diff --git a/src/PGF/Expr.hs-boot b/src/PGF/Expr.hs-boot
deleted file mode 100644
index 34a62a410..000000000
--- a/src/PGF/Expr.hs-boot
+++ /dev/null
@@ -1,28 +0,0 @@
-module PGF.Expr where
-
-import PGF.CId
-import qualified Text.PrettyPrint as PP
-import qualified Text.ParserCombinators.ReadP as RP
-
-data Expr
-
-instance Eq   Expr
-instance Ord  Expr
-instance Show Expr
-
-
-data BindType = Explicit | Implicit
-
-instance Eq   BindType
-instance Ord  BindType
-instance Show BindType
-
-
-pArg   :: RP.ReadP Expr
-pBinds :: RP.ReadP [(BindType,CId)]
-
-ppExpr :: Int -> [CId] -> Expr -> PP.Doc
-
-freshName :: CId -> [CId] -> CId
-
-ppParens :: Bool -> PP.Doc -> PP.Doc