1 files changed, 3 insertions, 12 deletions
diff --git a/src/test/compile-fail/while-loop-constraints.rs b/src/test/compile-fail/while-loop-constraints.rs
index 4c97aae7042..9cada6f430c 100644
--- a/src/test/compile-fail/while-loop-constraints.rs
+++ b/src/test/compile-fail/while-loop-constraints.rs
@@ -2,16 +2,7 @@
 // error-pattern: Unsatisfied precondition constraint (for example, init(y
 fn main() {
 
-  let int y = 42;
-  let int x;
-  while (true) {
-    log y;
-    while (true) {
-      while (true) {
-    while (true) {
-      x <- y;
-    }
-      }
-    }
-  }
+    let y: int = 42;
+    let x: int;
+    while true { log y; while true { while true { while true { x <- y; } } } }
 }
\ No newline at end of file