aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle
diff options
context:
space:
mode:
Diffstat (limited to 'src/comp/middle')
-rw-r--r--src/comp/middle/typestate_check.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/comp/middle/typestate_check.rs b/src/comp/middle/typestate_check.rs
index 9b670fc1..46bf6a4c 100644
--- a/src/comp/middle/typestate_check.rs
+++ b/src/comp/middle/typestate_check.rs
@@ -341,7 +341,7 @@ impure fn find_pre_post_item(fn_info enclosing, &item i) -> item {
case (ast.item_ty(_,_,_,_,_)) {
ret i;
}
- case (ast.item_tag(_,_,_,_)) {
+ case (ast.item_tag(_,_,_,_,_)) {
ret i;
}
case (ast.item_obj(?id, ?o, ?ps, ?di, ?a)) {