1 files changed, 2 insertions, 2 deletions
diff --git a/Test/dafny1/SeparationLogicList.dfy b/Test/dafny1/SeparationLogicList.dfy
index 7828a54e..56a64bd6 100644
--- a/Test/dafny1/SeparationLogicList.dfy
+++ b/Test/dafny1/SeparationLogicList.dfy
@@ -28,7 +28,7 @@ class Node<T> {
       l.next := null;
       S := {l};
     } else {
-      call l, S := Cons(x, null, [], {});
+      l, S := Cons(x, null, [], {});
     }
   }
 
@@ -75,7 +75,7 @@ class ListNode<T> {
       l.Repr := {l};
       l.Contents := [x];
     } else {
-      call l := Cons(x, null);
+      l := Cons(x, null);
     }
   }