diff options
Diffstat (limited to 'src/GF/Source/GF.cf')
| -rw-r--r-- | src/GF/Source/GF.cf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/GF/Source/GF.cf b/src/GF/Source/GF.cf index 5de0d1f87..a580f25e0 100644 --- a/src/GF/Source/GF.cf +++ b/src/GF/Source/GF.cf @@ -192,8 +192,8 @@ EPre. Exp4 ::= "pre" "{" Exp ";" [Altern] "}" ; EStrs. Exp4 ::= "strs" "{" [Exp] "}" ; EConAt. Exp4 ::= PIdent "@" Exp6 ; --% -EPatt. Exp4 ::= "pattern" Patt2 ; -EPattType. Exp4 ::= "pattern" "type" Exp5 ; +EPatt. Exp4 ::= "#" Patt2 ; +EPattType. Exp4 ::= "pattern" Exp5 ; ESelect. Exp3 ::= Exp3 "!" Exp4 ; ETupTyp. Exp3 ::= Exp3 "*" Exp4 ; |