diff options
| author | Daniil Baturin <daniil@vyos.io> | 2020-05-20 22:04:26 +0300 |
|---|---|---|
| committer | Daniil Baturin <daniil@vyos.io> | 2020-05-20 22:04:26 +0300 |
| commit | 20b538f9d7c8212cffc84e524f4c954708ff3de7 (patch) | |
| tree | 10430dd4f21d52019740ed4d59ca87f190fa48f3 /src | |
| parent | ae68e5b11573b1b7dc0eba9d95c7ccbba1f1b23d (diff) | |
| download | vyos-utils-20b538f9d7c8212cffc84e524f4c954708ff3de7.tar.gz vyos-utils-20b538f9d7c8212cffc84e524f4c954708ff3de7.zip | |
T2434: use correct bigint comparison.
Diffstat (limited to 'src')
| -rw-r--r-- | src/numeric.ml | 2 |
1 files changed, 2 insertions, 0 deletions
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 |