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/hMap.ml')

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


From 86f5c0cbfa64c5d0949365369529c5b607878ef8 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Wed, 20 Jan 2016 17:25:10 +0100
Subject: Update copyright headers.

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

(limited to 'lib/hMap.ml')

diff --git a/lib/hMap.ml b/lib/hMap.ml
index f902eded03..ba6aad913f 100644
--- a/lib/hMap.ml
+++ b/lib/hMap.ml
@@ -1,6 +1,6 @@
 (************************************************************************)
 (*  v      *   The Coq Proof Assistant  /  The Coq Development Team     *)
-(* <O___,, *   INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015     *)
+(* <O___,, *   INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2016     *)
 (*   \VV/  **************************************************************)
 (*    //   *      This file is distributed under the terms of the       *)
 (*         *       GNU Lesser General Public License Version 2.1        *)
-- 
cgit v1.2.3


From e9675e068f9e0e92bab05c030fb4722b146123b8 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 3 Feb 2016 16:20:46 +0100
Subject: Adding a "get" primitive to map signature.

It is similar to find but raises an assertion failure instead of a Not_found
when the element is not encountered. Using it will give stronger invariants.
---
 lib/hMap.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/hMap.ml')

diff --git a/lib/hMap.ml b/lib/hMap.ml
index 220adc28f3..778c366fd5 100644
--- a/lib/hMap.ml
+++ b/lib/hMap.ml
@@ -286,6 +286,8 @@ struct
     let m = Int.Map.find h s in
     Map.find k m
 
+  let get k s = try find k s with Not_found -> assert false
+
   let split k s = assert false (** Cannot be implemented efficiently *)
 
   let map f s =
-- 
cgit v1.2.3