diff options
| author |  rustanleino <unknown> | 2009-11-05 02:28:36 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2009-11-05 02:28:36 +0000 |
| commit | 88c490d4c929ab2815c6a33d9ba604057bdd06a0 (patch) | |
| tree | d07564e6f7f29ae630097bb68dcc7655ab268709 /Test/VSI-Benchmarks/b6.dfy | |
| parent | 48a417d2201f5e4151b1575d4ec011343c69e389 (diff) | |
The Dafny call statement now automatically declares left-hand sides as local variables, if they were not already local variables.
Diffstat (limited to 'Test/VSI-Benchmarks/b6.dfy')
| -rw-r--r-- | Test/VSI-Benchmarks/b6.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/VSI-Benchmarks/b6.dfy b/Test/VSI-Benchmarks/b6.dfy index f6e7879f..48306e9b 100644 --- a/Test/VSI-Benchmarks/b6.dfy +++ b/Test/VSI-Benchmarks/b6.dfy @@ -114,7 +114,7 @@ class Client call c.Add(45);
call c.Add(78);
- var iter,b,x, s:= [ ];
+ var s:= [ ];
call iter:=c.GetIterator();
call b:= iter.MoveNext();
|