1 files changed, 1 insertions, 8 deletions
diff --git a/src/PGF/Expr.hs b/src/PGF/Expr.hs
index 0dde19310..3b8ec01bc 100644
--- a/src/PGF/Expr.hs
+++ b/src/PGF/Expr.hs
@@ -10,7 +10,7 @@ module PGF.Expr(Tree(..), Literal(..),
                 Value(..), Env, eval, apply,
 
                 -- helpers
-                pIdent,pStr,pFactor
+                pStr,pFactor
                ) where
 
 import PGF.CId
@@ -145,13 +145,6 @@ pStr = RP.char '"' >> (RP.manyTill (pEsc RP.<++ RP.get) (RP.char '"'))
        where
          pEsc = RP.char '\\' >> RP.get    
 
-pCId = fmap mkCId pIdent
-
-pIdent = liftM2 (:) (RP.satisfy isIdentFirst) (RP.munch isIdentRest)
-  where
-    isIdentFirst c = c == '_' || isLetter c
-    isIdentRest c = c == '_' || c == '\'' || isAlphaNum c
-
 
 -----------------------------------------------------
 -- Printing