From 3e62cff94b210a01dc1928ec338941795c372e09 Mon Sep 17 00:00:00 2001 From: Aldrik KLEBER Date: Fri, 22 Nov 2019 00:13:13 +0100 Subject: [PATCH] fix of issue #1 --- src/range.ml | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/src/range.ml b/src/range.ml index 08c7760..5523477 100644 --- a/src/range.ml +++ b/src/range.ml @@ -81,10 +81,7 @@ let equal a b = match (a, b) with | Natural ra, Natural rb -> ra.start = rb.start && ra.stop = rb.stop - | Modified _, Modified _ -> - List.equal Int.( = ) (to_list a) (to_list b) - | _ -> - false + | _ -> List.equal Int.( = ) (to_list a) (to_list b) let rec iter_loop r f n = if n > r.stop then ()