---

catamorphism · catamorphism · commit af1392c00ebc · 2011-06-30T12:45:50.000-07:00
yaml --- r: 3506 b: refs/heads/master c: 7fd04a2 h: refs/heads/master v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 37bfbc4b79afb7dc0b0408677f88387613a31251
+refs/heads/master: 7fd04a21a1f335cf5fb335e33f6e84d4d29fbef1
diff --git a/trunk/src/test/run-pass/claim-nonterm.rs b/trunk/src/test/run-pass/claim-nonterm.rs
@@ -10,7 +10,6 @@ pred fails(uint a) -> bool {
 }
 
 fn main() {
-  let uint a = 5u;
   let uint b = 4u;
   claim fails(b);
 }

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: 37bfbc4b79afb7dc0b0408677f88387613a31251`
	`2`	`+refs/heads/master: 7fd04a21a1f335cf5fb335e33f6e84d4d29fbef1`