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

This reverts commit d08b443fffb1181d8d45ae5d061412f202dd4118.

1 files changed, 9 insertions, 9 deletions

diff --git a/src/test/run-pass/float2.rs b/src/test/run-pass/float2.rs
index 9cc3a8ca..e6136d2c 100644
--- a/src/test/run-pass/float2.rs
+++ b/src/test/run-pass/float2.rs
@@ -12,13 +12,13 @@ fn main() {
   auto j = 3.1e+9;
   auto k = 3.2e-10;
  
-  check(a == b);
-  check(c < b);
-  check(c == d);
-  check(e < g);
-  check(f < h);
-  check(g == 1000000.0f32);
-  check(h == i);
-  check(j > k);
-  check(k < a);
+  assert (a == b);
+  assert (c < b);
+  assert (c == d);
+  assert (e < g);
+  assert (f < h);
+  assert (g == 1000000.0f32);
+  assert (h == i);
+  assert (j > k);
+  assert (k < a);
 }
\ No newline at end of file