Un-revert "Use different syntax for checks that matter to typestate", fixing the problem.

This reverts commit d08b443fffb1181d8d45ae5d061412f202dd4118.

1 files changed, 6 insertions, 6 deletions

diff --git a/src/test/run-pass/rec-extend.rs b/src/test/run-pass/rec-extend.rs
index db81278b..ada02597 100644
--- a/src/test/run-pass/rec-extend.rs
+++ b/src/test/run-pass/rec-extend.rs
@@ -8,12 +8,12 @@ fn main() {
   let point right = rec(x=origin.x + 10 with origin);
   let point up = rec(y=origin.y + 10 with origin);
 
-  check(origin.x == 0);
-  check(origin.y == 0);
+  assert (origin.x == 0);
+  assert (origin.y == 0);
 
-  check(right.x == 10);
-  check(right.y == 0);
+  assert (right.x == 10);
+  assert (right.y == 0);
 
-  check(up.x == 0);
-  check(up.y == 10);
+  assert (up.x == 0);
+  assert (up.y == 10);
 }