From 6f6ff0e39eb6d771ef5336394079646ccdc18bd5 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Tue, 7 Nov 2017 15:44:40 +0100 Subject: Use Zarith instead of Num for computing numbers --- tests/expressionParser_test.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'tests/expressionParser_test.ml') diff --git a/tests/expressionParser_test.ml b/tests/expressionParser_test.ml index 30bd665..12ceeb0 100755 --- a/tests/expressionParser_test.ml +++ b/tests/expressionParser_test.ml @@ -20,7 +20,7 @@ let test_num ctx = begin let expected = Expression.Formula ( Expression.Expression ( ScTypes.Value (ScTypes.number ( - DataType.Num.of_num (Num.num_of_int 1) + DataType.Num.of_int 1 ) ))) in let result = load_expr "=1" in @@ -54,7 +54,7 @@ let test_call2 ctx = begin Expression.Expression ( ScTypes.Call ( u"foo2", [ScTypes.Value (ScTypes.number ( - DataType.Num.of_num (Num.num_of_int 4) + DataType.Num.of_int 4 ))]))) in let result = load_expr "=foo2(4)" in @@ -82,5 +82,5 @@ let tests = "expression_parser_test">::: [ "test_num" >:: test_num; "test_call" >:: test_call; "test_call2" >:: test_call2; - "test_ref" >:: test_ref; + "test_ref" >:: test_ref; ] -- cgit v1.2.3