diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2012-01-24 13:22:01 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2012-01-24 13:22:01 +0000 |
commit | c103b7963628e6ff10a1fc025aebd0bba5f72a55 (patch) | |
tree | 25e9438a01335ef3daf640e7abebc56a71b12327 /Build/source/texk/web2c/omegafonts/pl-lexer.l | |
parent | a6e06905e901ade43945a363fc719e6ada2d3836 (diff) |
pltotf, vptovf, and Co: scanning real numbers
git-svn-id: svn://tug.org/texlive/trunk@25190 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/omegafonts/pl-lexer.l')
-rw-r--r-- | Build/source/texk/web2c/omegafonts/pl-lexer.l | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/omegafonts/pl-lexer.l b/Build/source/texk/web2c/omegafonts/pl-lexer.l index 7f9c719eea2..35eb0bf791f 100644 --- a/Build/source/texk/web2c/omegafonts/pl-lexer.l +++ b/Build/source/texk/web2c/omegafonts/pl-lexer.l @@ -69,7 +69,7 @@ ws [ \t]+ hexnumber H{ws}[A-F0-9]+ octnumber O{ws}[0-7]+ decnumber D{ws}[0-9]+ -realnumber R[ \t+-]+[0-9]*("."[0-9]*){0,1} +realnumber R[ \t+-]+[0-9]*("."[0-9]*)? charnumber C{ws}. %% |