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/odf/odf_ExpressionParser_test.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tests/odf') diff --git a/tests/odf/odf_ExpressionParser_test.ml b/tests/odf/odf_ExpressionParser_test.ml index 8b4e4ff..18efe96 100755 --- a/tests/odf/odf_ExpressionParser_test.ml +++ b/tests/odf/odf_ExpressionParser_test.ml @@ -15,7 +15,7 @@ let _msg ~(expected:ScTypes.expression) ~(result:ScTypes.expression) = let build_num value = ScTypes.number ( - DataType.Num.of_num @@ Num.num_of_int value + DataType.Num.of_int value ) -- cgit v1.2.3