From 693f7e927158c16a410e1204dd093443cb66f035 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 13 Nov 2003 15:42:06 +0000
Subject: Passage a un SStream predicatif

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4891 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 test-suite/success/Cases.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test-suite/success/Cases.v b/test-suite/success/Cases.v
index 3ac45f2d60..6ccd669af8 100644
--- a/test-suite/success/Cases.v
+++ b/test-suite/success/Cases.v
@@ -1056,7 +1056,7 @@ Type    Cases (compare O O) of
 
 
 
-CoInductive SStream [A:Set]  : (nat->A->Prop)->Set :=
+CoInductive SStream [A:Set]  : (nat->A->Prop)->Type :=
 scons  : 
   (P:nat->A->Prop)(a:A)(P O a)->(SStream A [n:nat](P (S n)))->(SStream A P).
 Parameter B : Set.
-- 
cgit v1.2.3