1 files changed, 4 insertions, 4 deletions
diff --git a/Test/dafny1/PriorityQueue.dfy b/Test/dafny1/PriorityQueue.dfy
index db1c60fa..6e19ab8f 100644
--- a/Test/dafny1/PriorityQueue.dfy
+++ b/Test/dafny1/PriorityQueue.dfy
@@ -41,7 +41,7 @@ class PriorityQueue {
   {
     n := n + 1;
     a[n] := x;
-    call SiftUp(n);
+    SiftUp(n);
   }
 
   method SiftUp(k: int)
@@ -76,7 +76,7 @@ class PriorityQueue {
     x := a[1];
     a[1] := a[n];
     n := n - 1;
-    call SiftDown(1);
+    SiftDown(1);
   }
 
   method SiftDown(k: int)
@@ -156,7 +156,7 @@ class PriorityQueue_Alternative {
   {
     n := n + 1;
     a[n] := x;
-    call SiftUp();
+    SiftUp();
   }
 
   method SiftUp()
@@ -189,7 +189,7 @@ class PriorityQueue_Alternative {
     x := a[1];
     a[1] := a[n];
     n := n - 1;
-    call SiftDown();
+    SiftDown();
   }
 
   method SiftDown()