diff options
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 |