aboutsummaryrefslogtreecommitdiff
path: root/src/comp
diff options
context:
space:
mode:
authorGraydon Hoare <[email protected]>2011-02-15 12:30:09 -0800
committerGraydon Hoare <[email protected]>2011-02-15 12:30:09 -0800
commit7a02798d1b3ccb04ee450b1171f31319f0c05467 (patch)
treee7600a90ed74cca373c5120e97ab025f3bf00ee9 /src/comp
parentAdd _mutable unop. (diff)
downloadrust-7a02798d1b3ccb04ee450b1171f31319f0c05467.tar.xz
rust-7a02798d1b3ccb04ee450b1171f31319f0c05467.zip
Change another typestate check to an expr check.
Diffstat (limited to 'src/comp')
-rw-r--r--src/comp/middle/typeck.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/comp/middle/typeck.rs b/src/comp/middle/typeck.rs
index e1b8d464..83caf891 100644
--- a/src/comp/middle/typeck.rs
+++ b/src/comp/middle/typeck.rs
@@ -1348,7 +1348,7 @@ fn check_expr(&@fn_ctxt fcx, @ast.expr expr) -> @ast.expr {
case (ast.expr_be(?e)) {
/* FIXME: prove instead of check */
- check ast.is_call_expr(e);
+ check (ast.is_call_expr(e));
auto expr_0 = check_expr(fcx, e);
auto expr_1 = demand_expr(fcx, fcx.ret_ty, expr_0);
ret @fold.respan[ast.expr_](expr.span,