diff options
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 e5d061d2..f6e7879f 100644 --- a/Test/VSI-Benchmarks/b6.dfy +++ b/Test/VSI-Benchmarks/b6.dfy @@ -63,7 +63,7 @@ class Iterator { function Valid():bool
reads this, footprint;
{
- this in footprint && c!= null && -1<= pos && !(null in footprint)
+ this in footprint && c!= null && -1<= pos && null !in footprint
}
method Init(coll:Collection)
|