From 002386cad80f77be6e8154967f70b6d4603c3d36 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 10 May 2017 17:15:15 +0200 Subject: [PATCH] small change for consistency in `CCIntMap` --- src/data/CCIntMap.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/data/CCIntMap.ml b/src/data/CCIntMap.ml index 3ea70206..78eaa7a7 100644 --- a/src/data/CCIntMap.ml +++ b/src/data/CCIntMap.ml @@ -361,8 +361,8 @@ let rec inter f a b = else inter f r1 b else if Bit.lt m1 m2 && is_prefix_ ~prefix:p2 p1 ~bit:m2 then if Bit.is_0 p1 ~bit:m2 - then inter f l2 a - else inter f r2 a + then inter f a l2 + else inter f a r2 else E (*$R