From a90e3402f4033583d84000ea2baf63959067e171 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sat, 1 Jul 2000 10:20:57 +0000
Subject: Séparation des caractères spéciaux par un blanc

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@544 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 theories/Sets/Uniset.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/theories/Sets/Uniset.v b/theories/Sets/Uniset.v
index f89cda344a..5d9162fdbe 100644
--- a/theories/Sets/Uniset.v
+++ b/theories/Sets/Uniset.v
@@ -28,7 +28,7 @@ Definition Fullset  := (Charac [a:A]true).
 Definition Singleton := [a:A](Charac [a':A]
               Case (eqA_dec a a') of 
                    [h:(eqA a a')]  true
-                   [h:~(eqA a a')] false end).
+                   [h: ~(eqA a a')] false end).
 
 Definition In : uniset -> A -> Prop :=
      [s:uniset][a:A](charac s a)=true.
-- 
cgit v1.2.3