diff options
Diffstat (limited to 'src/comp')
| -rw-r--r-- | src/comp/middle/tstate/pre_post_conditions.rs | 1 | ||||
| -rw-r--r-- | src/comp/middle/tstate/states.rs | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/src/comp/middle/tstate/pre_post_conditions.rs b/src/comp/middle/tstate/pre_post_conditions.rs index ccff10fae5b..7ce3c357bbf 100644 --- a/src/comp/middle/tstate/pre_post_conditions.rs +++ b/src/comp/middle/tstate/pre_post_conditions.rs @@ -346,7 +346,6 @@ fn find_pre_post_expr(&fn_ctxt fcx, @expr e) { case (none) { clear_pp(expr_pp(fcx.ccx, e)); } } } - // FIXME this was just put in here as a placeholder case (expr_fn(?f)) { clear_pp(expr_pp(fcx.ccx, e)); } case (expr_block(?b)) { find_pre_post_block(fcx, b); diff --git a/src/comp/middle/tstate/states.rs b/src/comp/middle/tstate/states.rs index 04b29f5ffa5..2d81f0cf0aa 100644 --- a/src/comp/middle/tstate/states.rs +++ b/src/comp/middle/tstate/states.rs @@ -337,7 +337,6 @@ fn find_pre_post_state_expr(&fn_ctxt fcx, &prestate pres, @expr e) -> bool { } } case (expr_lit(?l)) { ret pure_exp(fcx.ccx, e.id, pres); } - // FIXME This was just put in here as a placeholder case (expr_fn(?f)) { ret pure_exp(fcx.ccx, e.id, pres); } case (expr_block(?b)) { ret find_pre_post_state_block(fcx, pres, b) | |