From a0cfa4f118023d35b767a999d5a2ac4b082857b4 Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@debian.org>
Date: Fri, 25 Jul 2008 15:12:53 +0200
Subject: Imported Upstream version 8.2~beta3+dfsg

---
 theories/Sets/Permut.v | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'theories/Sets/Permut.v')

diff --git a/theories/Sets/Permut.v b/theories/Sets/Permut.v
index a7c3db3a..4380f10c 100644
--- a/theories/Sets/Permut.v
+++ b/theories/Sets/Permut.v
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id: Permut.v 9245 2006-10-17 12:53:34Z notin $ i*)
+(*i $Id: Permut.v 10616 2008-03-04 17:33:35Z letouzey $ i*)
 
 (* G. Huet 1-9-95 *)
 
@@ -15,7 +15,7 @@
 
 Section Axiomatisation.
 
-  Variable U : Set.
+  Variable U : Type.
   Variable op : U -> U -> U.
   Variable cong : U -> U -> Prop.
 
-- 
cgit v1.2.3