From 2f68b37beb32addaabe7b72dede2edf48055cdb3 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Mon, 5 Jul 2010 10:09:18 +0000
Subject: FSets/Msets: some renaming of module params to simplify the task of
 the extraction

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13239 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 theories/MSets/MSetInterface.v | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'theories/MSets')

diff --git a/theories/MSets/MSetInterface.v b/theories/MSets/MSetInterface.v
index 6de91daccf..851237d8fe 100644
--- a/theories/MSets/MSetInterface.v
+++ b/theories/MSets/MSetInterface.v
@@ -545,9 +545,9 @@ Module WRaw2SetsOn (E:DecidableType)(M:WRawSets E) <: WSetsOn E.
 
 End WRaw2SetsOn.
 
-Module WRaw2Sets (E:DecidableType)(M:WRawSets E) <: WSets with Module E := E.
-  Module E := E.
-  Include WRaw2SetsOn E M.
+Module WRaw2Sets (D:DecidableType)(M:WRawSets D) <: WSets with Module E := D.
+  Module E := D.
+  Include WRaw2SetsOn D M.
 End WRaw2Sets.
 
 (** Same approach for ordered sets *)
-- 
cgit v1.2.3