diff options
Diffstat (limited to 'src/GF/Source/LexGF.x')
| -rw-r--r-- | src/GF/Source/LexGF.x | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Source/LexGF.x b/src/GF/Source/LexGF.x index 92f4dd626..46419df74 100644 --- a/src/GF/Source/LexGF.x +++ b/src/GF/Source/LexGF.x @@ -24,7 +24,7 @@ $u = [\0-\255] -- universal: any character "{-" ([$u # \-] | \- [$u # \}])* ("-")+ "}" ; $white+ ; -@rsyms { tok (\p s -> PT p (eitherResIdent (T_PIdent . share) s)) } +@rsyms { tok (\p s -> PT p (eitherResIdent (TV . share) s)) } \' ($u # \')* \' { tok (\p s -> PT p (eitherResIdent (T_LString . share) s)) } (\_ | $l)($l | $d | \_ | \')* { tok (\p s -> PT p (eitherResIdent (T_PIdent . share) s)) } |