From 2aa3d964f4d69782c49d648c26cae403587d8b24 Mon Sep 17 00:00:00 2001
From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@lri.fr>
Date: Mon, 8 Mar 2021 17:25:45 +0100
Subject: [PATCH] fixed test (do not use module Int)

---
 test.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test.ml b/test.ml
index 31c3a78..b958223 100644
--- a/test.ml
+++ b/test.ml
@@ -1,5 +1,5 @@
 
-module I = struct include Int let hash x = x end
+module I = struct type t = int let compare = Stdlib.compare end
 
 module B = Bag.Make(I)