From 780996250ba3fd4d36ad06fefe319eb69fe919b0 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Thu, 5 Mar 2015 11:43:38 +0100
Subject: MMaps again : adding MMapList, an implementation by ordered list

---
 theories/Structures/EqualitiesFacts.v | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'theories/Structures')

diff --git a/theories/Structures/EqualitiesFacts.v b/theories/Structures/EqualitiesFacts.v
index b394cf48d0..8e2b2d081c 100644
--- a/theories/Structures/EqualitiesFacts.v
+++ b/theories/Structures/EqualitiesFacts.v
@@ -8,6 +8,8 @@
 
 Require Import Equalities Bool SetoidList RelationPairs.
 
+Set Implicit Arguments.
+
 (** * Keys and datas used in MMap *)
 
 Module KeyDecidableType(D:DecidableType).
-- 
cgit v1.2.3