diff options
Diffstat (limited to 'src/GF/Canon/GFCC/GFCC.cf')
| -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 b57c4f636..f22d6165c 100644 --- a/src/GF/Canon/GFCC/GFCC.cf +++ b/src/GF/Canon/GFCC/GFCC.cf @@ -4,9 +4,9 @@ Abs. Abstract ::= "abstract" "{" [AbsDef] "}" ; Cnc. Concrete ::= "concrete" CId "{" [CncDef] "}" ; Fun. AbsDef ::= CId ":" Type "=" Exp ; -AFl. AbsDef ::= "%" CId "=" String ; -- flag +--AFl. AbsDef ::= "%" CId "=" String ; -- flag Lin. CncDef ::= CId "=" Term ; -CFl. CncDef ::= "%" CId "=" String ; -- flag +--CFl. CncDef ::= "%" CId "=" String ; -- flag Typ. Type ::= [CId] "->" CId ; Tr. Exp ::= "(" Atom [Exp] ")" ; |