Removed CFConst constructor, since it was unused.

This commit is contained in:
bringert
2007-01-29 12:21:15 +00:00
parent f56b617f5a
commit 301d268141
2 changed files with 0 additions and 2 deletions

View File

@@ -58,7 +58,6 @@ data CFTerm
| CFApp CFTerm CFTerm -- ^ Application
| CFRes Int -- ^ The result of the n:th non-terminal
| CFVar Int -- ^ A lambda-bound variable
| CFConst String
| CFMeta String -- ^ A metavariable
deriving (Eq,Ord,Show)