diff --git a/src/test/run-pass/claim-nonterm.rs b/src/test/run-pass/claim-nonterm.rs
index 67257a90c29b..17dd6ec0de48 100644
--- a/src/test/run-pass/claim-nonterm.rs
+++ b/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);
 }
\ No newline at end of file