diff options
Diffstat (limited to 'Test/dafny2/Calculations.dfy')
-rw-r--r-- | Test/dafny2/Calculations.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
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
|