From 7fd04a21a1f335cf5fb335e33f6e84d4d29fbef1 Mon Sep 17 00:00:00 2001
From: Tim Chevalier <chevalier@alum.wellesley.edu>
Date: Thu, 30 Jun 2011 12:45:50 -0700
Subject: [PATCH] remove an unused variable

---
 src/test/run-pass/claim-nonterm.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/test/run-pass/claim-nonterm.rs b/src/test/run-pass/claim-nonterm.rs
index 67257a90c29..17dd6ec0de4 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