From e978da8c41d8a3c19a29036d9c569fbe2a4616b0 Mon Sep 17 00:00:00 2001 From: Samuel Mimram Date: Fri, 16 Jun 2006 14:41:51 +0000 Subject: Imported Upstream version 8.0pl3+8.1beta --- test-suite/success/evars.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test-suite/success/evars.v') diff --git a/test-suite/success/evars.v b/test-suite/success/evars.v index 64875fba..baeec147 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