From ccd3cc391a15be9b59a3fc3646a3dae1328fbc64 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 9 Apr 2003 22:07:35 +0000
Subject: cast de nil

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

diff --git a/theories/Lists/ListSet.v b/theories/Lists/ListSet.v
index a72adbb21d..77f943716c 100644
--- a/theories/Lists/ListSet.v
+++ b/theories/Lists/ListSet.v
@@ -27,7 +27,7 @@ Section first_definitions.
 
   Definition set := (list A).
 
-  Definition empty_set := (nil A).
+  Definition empty_set := (nil ?) : set.
 
   Fixpoint set_add [a:A; x:set] : set :=
     Cases x of
-- 
cgit v1.2.3