diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-07 15:44:40 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-08 14:05:56 +0100 |
| commit | 6f6ff0e39eb6d771ef5336394079646ccdc18bd5 (patch) | |
| tree | f06907f88972e8e87c5924de8eb225362a4a775b /expressionLexer.mll | |
| parent | 50c16c8fc79d349f9db9d7975d1ae4e57050b648 (diff) | |
Use Zarith instead of Num for computing numbers
Diffstat (limited to 'expressionLexer.mll')
| -rwxr-xr-x | expressionLexer.mll | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/expressionLexer.mll b/expressionLexer.mll index 57ef26a..2d2f87e 100755 --- a/expressionLexer.mll +++ b/expressionLexer.mll @@ -21,8 +21,8 @@ let cell = letters+ digit+ rule read = parse | space+ { read lexbuf } - | digit+ as _1 { NUM (_1, Num.num_of_string _1)} - | real as _1 { REAL(Tools.String.filter_float _1, Tools.Num.of_float_string _1)} + | digit+ as _1 { NUM _1} + | real as _1 { REAL(Tools.String.filter_float _1)} | '$' { DOLLAR } | '=' { EQ } |