diff options
| author | Brian Anderson <banderson@mozilla.com> | 2011-08-18 11:37:19 -0700 |
|---|---|---|
| committer | Brian Anderson <banderson@mozilla.com> | 2011-08-18 13:09:50 -0700 |
| commit | ec898244f7b543dfe4c5a04fd42e638d7c521f7b (patch) | |
| tree | 67f8f21d39c8dc25b78cb3dae72a7c3620feb383 /src/comp/middle/tstate | |
| parent | 250cc45c3bf4fc3e623e72b8b36d66a4e0fb1dcf (diff) | |
| download | rust-ec898244f7b543dfe4c5a04fd42e638d7c521f7b.tar.gz rust-ec898244f7b543dfe4c5a04fd42e638d7c521f7b.zip | |
Remove seq_kind from ast::expr_vec
Diffstat (limited to 'src/comp/middle/tstate')
| -rw-r--r-- | src/comp/middle/tstate/pre_post_conditions.rs | 2 | ||||
| -rw-r--r-- | src/comp/middle/tstate/states.rs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/comp/middle/tstate/pre_post_conditions.rs b/src/comp/middle/tstate/pre_post_conditions.rs index 958687bfb00..f8875f3ff7c 100644 --- a/src/comp/middle/tstate/pre_post_conditions.rs +++ b/src/comp/middle/tstate/pre_post_conditions.rs @@ -357,7 +357,7 @@ fn find_pre_post_expr(fcx: &fn_ctxt, e: @expr) { _ { } } } - expr_vec(args, _, _) { find_pre_post_exprs(fcx, args, e.id); } + expr_vec(args, _) { find_pre_post_exprs(fcx, args, e.id); } expr_path(p) { let rslt = expr_pp(fcx.ccx, e); clear_pp(rslt); diff --git a/src/comp/middle/tstate/states.rs b/src/comp/middle/tstate/states.rs index b39093d29d8..7bba52ceb6d 100644 --- a/src/comp/middle/tstate/states.rs +++ b/src/comp/middle/tstate/states.rs @@ -312,7 +312,7 @@ fn find_pre_post_state_expr(fcx: &fn_ctxt, pres: &prestate, e: @expr) -> alt e.node { - expr_vec(elts, _, _) { + expr_vec(elts, _) { ret find_pre_post_state_exprs(fcx, pres, e.id, vec::init_elt(init_assign, vec::len(elts)), |