Revert "Use different syntax for checks that matter to typestate"

This reverts commit aa25f22f197682de3b18fc4c8ba068d1feda220f. It broke stage2, not sure why yet.

1 files changed, 5 insertions, 5 deletions

diff --git a/src/test/run-pass/tup.rs b/src/test/run-pass/tup.rs
index b7670776..23406646 100644
--- a/src/test/run-pass/tup.rs
+++ b/src/test/run-pass/tup.rs
@@ -3,17 +3,17 @@
 type point = tup(int, int);
 
 fn f(point p, int x, int y) {
-  assert (p._0 == x);
-  assert (p._1 == y);
+  check (p._0 == x);
+  check (p._1 == y);
 }
 
 fn main() {
   let point p = tup(10, 20);
-  assert (p._0 == 10);
-  assert (p._1 == 20);
+  check (p._0 == 10);
+  check (p._1 == 20);
   let point p2 = p;
   let int x = p2._0;
-  assert (x == 10);
+  check (x == 10);
   f(p, 10, 20);
   f(p2, 10, 20);
 }