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

1 files changed, 4 insertions, 3 deletions

diff --git a/theories/FSets/FSetBridge.v b/theories/FSets/FSetBridge.v
index 8d6ca420b..25ce5577e 100644
--- a/theories/FSets/FSetBridge.v
+++ b/theories/FSets/FSetBridge.v
@@ -321,8 +321,6 @@ Module DepOfNodep (Import M: S) <: Sdep with Module E := M.E.
     exists e; unfold For_all in |- *; eauto.
   Qed.
 
-  Module E := E.
-
   Definition elt := elt.
   Definition t := t.
 
@@ -346,6 +344,8 @@ Module DepOfNodep (Import M: S) <: Sdep with Module E := M.E.
   Definition lt_not_eq := lt_not_eq.
   Definition compare := compare.
 
+  Module E := E.
+
 End DepOfNodep.
 
 
@@ -783,7 +783,6 @@ Module NodepOfDep (M: Sdep) <: S with Module E := M.E.
   Qed.
 
 
-  Module E := E.
   Definition elt := elt.
   Definition t := t.
 
@@ -809,4 +808,6 @@ Module NodepOfDep (M: Sdep) <: S with Module E := M.E.
   Definition lt_not_eq := lt_not_eq.
   Definition compare := compare.
 
+  Module E := E.
+
 End NodepOfDep.