diff options
Diffstat (limited to 'src/comp')
| -rw-r--r-- | src/comp/driver/rustc.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/comp/driver/rustc.rs b/src/comp/driver/rustc.rs index 584d81ad..99c73602 100644 --- a/src/comp/driver/rustc.rs +++ b/src/comp/driver/rustc.rs @@ -84,8 +84,7 @@ fn compile_input(session.session sess, auto typeck_result = typeck.check_crate(ty_cx, crate); crate = typeck_result._0; auto type_cache = typeck_result._1; - // FIXME: uncomment once typestate_check works - // crate = typestate_check.check_crate(crate); + crate = typestate_check.check_crate(crate); trans.trans_crate(sess, crate, ty_cx, type_cache, output, shared, optimize, verify, save_temps, ot); } |