From 1ec2211a98aac3f4444301f44eba608d2df818c1 Mon Sep 17 00:00:00 2001
From: Tim Chevalier <chevalier@alum.wellesley.edu>
Date: Thu, 18 Aug 2011 23:38:58 -0700
Subject: [PATCH] Disable warnings for unused function arguments. Temporary
 hack.

---
 src/comp/middle/tstate/pre_post_conditions.rs | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/comp/middle/tstate/pre_post_conditions.rs b/src/comp/middle/tstate/pre_post_conditions.rs
index 9c54b8f15a34..d03bbea5dde3 100644
--- a/src/comp/middle/tstate/pre_post_conditions.rs
+++ b/src/comp/middle/tstate/pre_post_conditions.rs
@@ -736,8 +736,13 @@ fn find_pre_post_fn(fcx: &fn_ctxt, f: &_fn) {
     use_var(fcx, tsconstr_to_node_id(fcx.enclosing.i_return));
     use_var(fcx, tsconstr_to_node_id(fcx.enclosing.i_diverge));
 
-    find_pre_post_block(fcx, f.body);
+    for a:arg in f.decl.inputs {
+        // FIXME: Hack to avoid warning spew
+        // Just pretend all arguments are used
+        use_var(fcx, a.id);
+    }
 
+    find_pre_post_block(fcx, f.body);
 
     // Treat the tail expression as a return statement
     alt f.body.node.expr {