aboutsummaryrefslogtreecommitdiff
path: root/expressionLexer.mll
diff options
context:
space:
mode:
Diffstat (limited to 'expressionLexer.mll')
-rwxr-xr-xexpressionLexer.mll4
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 }