From 3049b2930ec2bd4adf886fc90bf01a478b318477 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Sat, 2 Jan 2016 17:01:28 +0100
Subject: Remove some useless module opening.

---
 lib/hMap.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'lib')

diff --git a/lib/hMap.ml b/lib/hMap.ml
index 8e900cd581..b5fc523150 100644
--- a/lib/hMap.ml
+++ b/lib/hMap.ml
@@ -333,7 +333,6 @@ struct
   struct
     module IntM = Int.Map.Monad(M)
     module ExtM = Map.Monad(M)
-    open M
 
     let fold f s accu =
       let ff _ m accu = ExtM.fold f m accu in
-- 
cgit v1.2.3