Changed variable names in test case

1 files changed, 3 insertions, 3 deletions

diff --git a/Test/dafny0/Basics.dfy b/Test/dafny0/Basics.dfy
index b639acc5..6e71e5b2 100644
--- a/Test/dafny0/Basics.dfy
+++ b/Test/dafny0/Basics.dfy
@@ -92,9 +92,9 @@ method ExpliesAssociativityM(A: bool, B: bool, C: bool) {
     assert x == y;

     assert x == z;  // error

   } else {

-    x := A <== B <== C;

-    y := (A <== B) <== C;  // parens not needed, because <== is left associative

-    z := A <== (B <== C);

+    x := C <== B <== A;

+    y := (C <== B) <== A;  // parens not needed, because <== is left associative

+    z := C <== (B <== A);

     assert x == y;

     assert x == z;  // error

   }