1 files changed, 2 insertions, 2 deletions
diff --git a/Test/dafny1/SchorrWaite.dfy b/Test/dafny1/SchorrWaite.dfy
index 33442219..95cdab89 100644
--- a/Test/dafny1/SchorrWaite.dfy
+++ b/Test/dafny1/SchorrWaite.dfy
@@ -26,7 +26,7 @@ class Main {
                 n.childrenVisited == old(n.childrenVisited) &&
                 n.children == old(n.children));
   {
-    call RecursiveMarkWorker(root, S, {});
+    RecursiveMarkWorker(root, S, {});
   }
 
   method RecursiveMarkWorker(root: Node, ghost S: set<Node>, ghost stackNodes: set<Node>)
@@ -67,7 +67,7 @@ class Main {
       {
         var c := root.children[i];
         if (c != null) {
-          call RecursiveMarkWorker(c, S, stackNodes + {root});
+          RecursiveMarkWorker(c, S, stackNodes + {root});
         }
         i := i + 1;
       }