From f5c21623a1de473b825716c98ab48bfb4776d9a1 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 9 Jul 2006 15:42:09 +0000
Subject: Argument Scope de list déplacé dans List.v

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9035 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 theories/FSets/FMapList.v | 2 --
 theories/Lists/List.v     | 1 +
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/theories/FSets/FMapList.v b/theories/FSets/FMapList.v
index 1b40b09f2a..86f1dfdc20 100644
--- a/theories/FSets/FMapList.v
+++ b/theories/FSets/FMapList.v
@@ -20,8 +20,6 @@ Require Import FMapInterface.
 Set Implicit Arguments.
 Unset Strict Implicit.
 
-Arguments Scope list [type_scope].
-
 Module Raw (X:OrderedType).
 
 Module E := X.
diff --git a/theories/Lists/List.v b/theories/Lists/List.v
index 62fc994f99..67b8e43989 100644
--- a/theories/Lists/List.v
+++ b/theories/Lists/List.v
@@ -85,6 +85,7 @@ Delimit Scope list_scope with list.
 
 Bind Scope list_scope with list.
 
+Arguments Scope list [type_scope].
 
 (** ** Facts about lists *)
 
-- 
cgit v1.2.3