diff --git a/src/test/run-fail/pred.rs b/src/test/run-fail/pred.rs
index fa2a206b342..5da537fb59c 100644
--- a/src/test/run-fail/pred.rs
+++ b/src/test/run-fail/pred.rs
@@ -1,14 +1,11 @@
-// xfail-stage0
-// xfail-stage1
-// xfail-stage2
 // -*- rust -*-
-
-// error-pattern:predicate check
+// xfail-stage0
+// error-pattern:Predicate lt(b, a) failed
 
 fn f(int a, int b) : lt(a,b) {
 }
 
-fn lt(int a, int b) -> bool {
+pred lt(int a, int b) -> bool {
   ret a < b;
 }