From 629debcf068ffc4adc22bfc9a4b67251017525a0 Mon Sep 17 00:00:00 2001
From: letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 6 Jul 2012 17:07:36 +0000
Subject: BinPos/BinInt/BinNat : fix some argument scopes

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15540 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 theories/PArith/BinPos.v | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'theories/PArith')

diff --git a/theories/PArith/BinPos.v b/theories/PArith/BinPos.v
index 58fe090dd..a6c4ef54c 100644
--- a/theories/PArith/BinPos.v
+++ b/theories/PArith/BinPos.v
@@ -1484,8 +1484,7 @@ Qed.
 
 (** We hence obtain all the generic properties of [min] and [max]. *)
 
-Include !UsualMinMaxLogicalProperties.
-Include !UsualMinMaxDecProperties.
+Include UsualMinMaxLogicalProperties <+ UsualMinMaxDecProperties.
 
 (** Minimum, maximum and constant one *)
 
-- 
cgit v1.2.3