diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/GF/Canon/GFCC/GFCC.cf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/GF/Canon/GFCC/GFCC.cf b/src/GF/Canon/GFCC/GFCC.cf index 5c8020905..5e302e91f 100644 --- a/src/GF/Canon/GFCC/GFCC.cf +++ b/src/GF/Canon/GFCC/GFCC.cf @@ -23,8 +23,8 @@ P. Term ::= "(" Term "!" Term ")" ; -- projection/selection S. Term ::= "(" [Term] ")" ; -- sequence with ++ KS. Term ::= String ; -- token KP. Term ::= "[" "pre" [String] "[" [Variant] "]" "]" ; -V. Term ::= "$" Int ; -- argument -C. Term ::= Int ; -- parameter value/label +V. Term ::= "$" Integer ; -- argument +C. Term ::= Integer ; -- parameter value/label F. Term ::= CId ; -- global constant FV. Term ::= "[|" [Term] "|]" ; -- free variation W. Term ::= "(" String "+" [String] ")" ; -- prefix + suffix table |