From 2c74f9200db870814ea3dae63484cbe969ec3526 Mon Sep 17 00:00:00 2001
From: Rustan Leino <unknown>
Date: Mon, 11 Feb 2013 19:50:57 -0800
Subject: Report error if type of a quantified variable cannot be inferred

---
 Test/dafny2/Calculations.dfy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Test/dafny2')

diff --git a/Test/dafny2/Calculations.dfy b/Test/dafny2/Calculations.dfy
index 19e0645f..777be464 100644
--- a/Test/dafny2/Calculations.dfy
+++ b/Test/dafny2/Calculations.dfy
@@ -121,7 +121,7 @@ ghost method Lemma_Revacc(xs: List, ys: List)
       assert concat(revacc(xrest, Cons(x, Nil)), ys)
           == revacc(xrest, concat(Cons(x, Nil), ys));
 
-      assert forall g, gs :: concat(Cons(g, Nil), gs) == Cons(g, gs);
+      assert forall g: _T0, gs :: concat(Cons(g, Nil), gs) == Cons(g, gs);
 
       assert revacc(xrest, concat(Cons(x, Nil), ys))
           == // the assert lemma just above
-- 
cgit v1.2.3