diff options
Diffstat (limited to 'Test/dafny0/TypeAntecedents.dfy')
-rw-r--r-- | Test/dafny0/TypeAntecedents.dfy | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Test/dafny0/TypeAntecedents.dfy b/Test/dafny0/TypeAntecedents.dfy index a932eccf..38050b88 100644 --- a/Test/dafny0/TypeAntecedents.dfy +++ b/Test/dafny0/TypeAntecedents.dfy @@ -35,7 +35,7 @@ method BadLemma(c0: Color, c1: Color) }
method Main() {
- call BadLemma(Color.Yellow, Color.Blue);
+ BadLemma(Color.Yellow, Color.Blue);
assert false; // this shows how things can really go wrong if BadLemma verified successfully
}
@@ -68,7 +68,7 @@ method M(list: List, S: set<MyClass>) returns (ret: int) assert false; // error
}
}
- call k := N();
+ var k := N();
assert k.H() == 5;
ghost var l := NF();
assert l != null ==> l.H() == 5;
|