From e0f14837ac62feb3624c28eb18a36c0ed44e4753 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 23 Sep 2020 21:34:14 -0400 Subject: [PATCH] fix warning --- src/data/CCIntMap.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/data/CCIntMap.ml b/src/data/CCIntMap.ml index 7da12117..35ba8ba3 100644 --- a/src/data/CCIntMap.ml +++ b/src/data/CCIntMap.ml @@ -360,7 +360,7 @@ let key = 0 in let m0 = singleton key 1 in (* a map of [key] to the value 1 *) let m1 = minus m0 m0 in (* a map of [key] to the value 0 *) let m2 = minus m0 m1 in (* a map of [key] to the value 1 *) -let observed = equal (=) m2 m0 in (* [m0] and [m2] should be equal *) +let observed = equal ~eq:(=) m2 m0 in (* [m0] and [m2] should be equal *) assert_equal true observed *)