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;