diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-09-26 10:23:50 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-09-26 10:23:50 +0000 |
| commit | deee60f2c2075731be0db1d431114ac1ecf8e483 (patch) | |
| tree | dc4dca80f901dd7253f5523446faf2f92739fae6 /src/GF/Canon/GFCC/GFCC.cf | |
| parent | be2f1ac5c8272837a553dfe484a678813c73fd5b (diff) | |
improving gfcc generation
Diffstat (limited to 'src/GF/Canon/GFCC/GFCC.cf')
| -rw-r--r-- | src/GF/Canon/GFCC/GFCC.cf | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/GF/Canon/GFCC/GFCC.cf b/src/GF/Canon/GFCC/GFCC.cf index b7298cdd9..a58544953 100644 --- a/src/GF/Canon/GFCC/GFCC.cf +++ b/src/GF/Canon/GFCC/GFCC.cf @@ -29,9 +29,9 @@ A. Term ::= "(" CId "->" Term ")" ; -- lambda abstraction (compressed ta FV. Term ::= "[|" [Term] "|]" ; -- free variation W. Term ::= "(" String "+" Term ")" ; -- prefix + suffix table -KS. Tokn ::= String ; -KP. Tokn ::= "[" "pre" [String] "[" [Variant] "]" "]" ; -Var. Variant ::= [String] "/" [String] ; +KS. Tokn ::= String ; +KP. Tokn ::= "[" "pre" [String] "[" [Variant] "]" "]" ; +Var. Variant ::= [String] "/" [String] ; terminator Concrete ";" ; |