From 20b538f9d7c8212cffc84e524f4c954708ff3de7 Mon Sep 17 00:00:00 2001 From: Daniil Baturin Date: Wed, 20 May 2020 22:04:26 +0300 Subject: T2434: use correct bigint comparison. --- src/numeric.ml | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src') diff --git a/src/numeric.ml b/src/numeric.ml index 12ea04c..17fcac6 100644 --- a/src/numeric.ml +++ b/src/numeric.ml @@ -15,6 +15,8 @@ let int_of_string_opt = Big_int.big_int_of_string_opt let big = Big_int.big_int_of_int let (>=) = Big_int.ge_big_int let (<=) = Big_int.le_big_int +let (<) = Big_int.lt_big_int +let (>) = Big_int.gt_big_int let opts = ref default_opts -- cgit v1.2.3