diff options
Diffstat (limited to 'snug-clean/src/Snug/Syntax.dcl')
| -rw-r--r-- | snug-clean/src/Snug/Syntax.dcl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/snug-clean/src/Snug/Syntax.dcl b/snug-clean/src/Snug/Syntax.dcl index 865d5f7..5246dcd 100644 --- a/snug-clean/src/Snug/Syntax.dcl +++ b/snug-clean/src/Snug/Syntax.dcl @@ -21,7 +21,7 @@ definition module Snug.Syntax = Wildcard | BasicValuePattern !BasicValue | IdentPattern !SymbolIdent - | ConstructorPattern !ConstructorIdent ![Pattern] + | ConstructorPattern !ConstructorIdent ![SymbolIdent] :: CaseAlternative = CaseAlternative !Pattern !Expression |