diff options
| author |  Rustan Leino <unknown> | 2014-07-08 14:35:52 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-07-08 14:35:52 -0700 |
| commit | f0b0ac64dc1d45e87c4eec869991ed86d8439f7f (patch) | |
| tree | 3c95b6c5121e5c746cf7bdb740071ca8114d2b23 /Test/dafny0/SmallTests.dfy | |
| parent | 61aa8c356946a60a1e68934a07faba89b95ff1ce (diff) | |
| parent | 79eae1e70e52bde8acfbfb2a09a0560c7319b224 (diff) | |
Merge
Diffstat (limited to 'Test/dafny0/SmallTests.dfy')
| -rw-r--r-- | Test/dafny0/SmallTests.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny0/SmallTests.dfy b/Test/dafny0/SmallTests.dfy index a4afecff..4c4d01d8 100644 --- a/Test/dafny0/SmallTests.dfy +++ b/Test/dafny0/SmallTests.dfy @@ -514,7 +514,7 @@ static method TestAttributesVarDecls() {
var {:foo} foo;
var {:bar} bar := 0;
- var {:foo} {:bar} foobar := {};
+ var {:foo} {:bar} foobar : set<int> := {};
var {:baz} baz, {:foobaz} foobaz := true, false;
}
|