1 files changed, 5 insertions, 5 deletions
diff --git a/Test/VSComp2010/Problem3-FindZero.dfy b/Test/VSComp2010/Problem3-FindZero.dfy
index 03e6bdfe..3d24255d 100644
--- a/Test/VSComp2010/Problem3-FindZero.dfy
+++ b/Test/VSComp2010/Problem3-FindZero.dfy
@@ -82,11 +82,11 @@ static method Search(ll: Node) returns (r: int)
 method Main()
 {
   var list: Node := null;
-  call list := list.Cons(0, list);
-  call list := list.Cons(5, list);
-  call list := list.Cons(0, list);
-  call list := list.Cons(8, list);
-  call r := Search(list);
+  list := list.Cons(0, list);
+  list := list.Cons(5, list);
+  list := list.Cons(0, list);
+  list := list.Cons(8, list);
+  var r := Search(list);
   print "Search returns ", r, "\n";
   assert r == 1;
 }