Dafny: retired the "call" keyword

1 files changed, 6 insertions, 6 deletions

diff --git a/Test/dafny1/MatrixFun.dfy b/Test/dafny1/MatrixFun.dfy
index 86ad451d..81b3f4c9 100644
--- a/Test/dafny1/MatrixFun.dfy
+++ b/Test/dafny1/MatrixFun.dfy
@@ -64,20 +64,20 @@ method Main()
   B[0,0] := true;  B[0,1] := false;  B[0,2] := false;  B[0,3] := true;  B[0,4] := false;

   B[1,0] := true;  B[1,1] := true;   B[1,2] := true;   B[1,3] := true;  B[1,4] := false;

   print "Before:\n";

-  call PrintMatrix(B);

-  call MirrorImage(B);

+  PrintMatrix(B);

+  MirrorImage(B);

   print "Mirror image:\n";

-  call PrintMatrix(B);

+  PrintMatrix(B);

 

   var A := new int[3,3];

   A[0,0] := 5;  A[0,1] := 7;  A[0,2] := 9;

   A[1,0] := 6;  A[1,1] := 2;  A[1,2] := 3;

   A[2,0] := 7;  A[2,1] := 1;  A[2,2] := 0;

   print "Before:\n";

-  call PrintMatrix(A);

-  call Flip(A);

+  PrintMatrix(A);

+  Flip(A);

   print "Flip:\n";

-  call PrintMatrix(A);

+  PrintMatrix(A);

 }

 

 method PrintMatrix<T>(m: array2<T>)