---

yaml
---
r: 4833
b: refs/heads/master
c: 0ba1037
h: refs/heads/master
i:
  4831: c6c9fe5
v: v3

Author: catamorphism

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 1ec2211a98aac3f4444301f44eba608d2df818c1
+refs/heads/master: 0ba10378340f0d975c7aa88ad258b4367b3d35c3

trunk/src/comp/middle/tstate/pre_post_conditions.rs

@@ -736,14 +736,9 @@ 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));
 
-    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 {
       some(tailexpr) { set_postcond_false(fcx.ccx, tailexpr.id); }