diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-12-09 15:20:50 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-12-09 15:20:50 +0000 |
| commit | 6edb2f075a5be472fbdf01946a2cba2c17059b49 (patch) | |
| tree | 1e4116165962f04b5433613622b88a01026c9ccc /src/GF/Devel/Compile/GF.cf | |
| parent | 6a4218e9efebc8b037cf2410a5e07a3fb20a5069 (diff) | |
debugging new compilation
Diffstat (limited to 'src/GF/Devel/Compile/GF.cf')
| -rw-r--r-- | src/GF/Devel/Compile/GF.cf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Devel/Compile/GF.cf b/src/GF/Devel/Compile/GF.cf index 6fc9307b2..2de298ace 100644 --- a/src/GF/Devel/Compile/GF.cf +++ b/src/GF/Devel/Compile/GF.cf @@ -13,7 +13,7 @@ comment "{-" "-}" ; -- identifiers -position token PIdent (letter | '_') (letter | digit | '_' | '\'')* ; +position token PIdent ('_')? letter (letter | digit | '_' | '\'')* ; -- the top-level grammar |