From 695259ab81f6641d3106e2c0ca3834920d904c1f Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 28 May 2006 16:23:49 +0000
Subject: Adaptation au passage de option dans Type

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

diff --git a/test-suite/success/evars.v b/test-suite/success/evars.v
index 64875fbabc..baeec14781 100644
--- a/test-suite/success/evars.v
+++ b/test-suite/success/evars.v
@@ -59,7 +59,7 @@ Check
 
 (* Check instantiation of nested evars (bug #1089) *)
 
-Check (fun f:(forall (v:Set->Set), v (v nat) -> nat) => f _ (Some (Some O))).
+Check (fun f:(forall (v:Type->Type), v (v nat) -> nat) => f _ (Some (Some O))).
 
 (* This used to fail with anomaly "evar was not declared" in V8.0pl3 *)
 
-- 
cgit v1.2.3