From acf9bd7909a4f6a68d974cabff96c4b72791c201 Mon Sep 17 00:00:00 2001 From: Tim Chevalier Date: Wed, 4 May 2011 11:32:06 -0700 Subject: Test cases for pred / check stuff --- src/test/run-pass/pred.rs | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'src/test/run-pass/pred.rs') diff --git a/src/test/run-pass/pred.rs b/src/test/run-pass/pred.rs index 022e1fc4..b4d003a8 100644 --- a/src/test/run-pass/pred.rs +++ b/src/test/run-pass/pred.rs @@ -1,12 +1,10 @@ // xfail-stage0 -// xfail-stage1 -// xfail-stage2 // -*- rust -*- 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; } -- cgit v1.2.3