From fa348d2de6c479a2dd3722f9fdaf449e4e4345f1 Mon Sep 17 00:00:00 2001
From: notin
Date: Fri, 13 Apr 2007 17:10:32 +0000
Subject: Correction bug #1499

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9767 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 theories/Lists/Streams.v | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/theories/Lists/Streams.v b/theories/Lists/Streams.v
index 366172381e..a8b55fb3ec 100644
--- a/theories/Lists/Streams.v
+++ b/theories/Lists/Streams.v
@@ -14,9 +14,9 @@ Set Implicit Arguments.
 
 Section Streams.
 
-Variable A : Set.
+Variable A : Type.
 
-CoInductive Stream : Set :=
+CoInductive Stream : Type :=
     Cons : A -> Stream -> Stream.
 
 
-- 
cgit v1.2.3