Reformat for new syntax

1 files changed, 8 insertions, 18 deletions

diff --git a/src/test/compile-fail/while-loop-pred-constraints.rs b/src/test/compile-fail/while-loop-pred-constraints.rs
index 3908004b688..0defbe2e40c 100644
--- a/src/test/compile-fail/while-loop-pred-constraints.rs
+++ b/src/test/compile-fail/while-loop-pred-constraints.rs
@@ -1,27 +1,17 @@
 // xfail-stage0
 // error-pattern: Unsatisfied precondition constraint (for example, even(y
 
-fn print_even(int y) : even(y) {
-  log y;
-}
+fn print_even(y: int) { log y; }
 
-pred even(int y) -> bool {
-  true
-}
+pred even(y: int) -> bool { true }
 
 fn main() {
 
-  let int y = 42;
-  let int x = 1;
-  check even(y);
-  while (true) {
-    print_even(y);
-    while (true) {
-      while (true) {
-    while (true) {
-      y += x;
+    let y: int = 42;
+    let x: int = 1;
+    check (even(y));
+    while true {
+        print_even(y);
+        while true { while true { while true { y += x; } } }
     }
-      }
-    }
-  }
 }
\ No newline at end of file