From 6f6ff0e39eb6d771ef5336394079646ccdc18bd5 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Tue, 7 Nov 2017 15:44:40 +0100
Subject: Use Zarith instead of Num for computing numbers

---
 expressionLexer.mll | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'expressionLexer.mll')

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 }
-- 
cgit v1.2.3