From 2c3808b5111edfd73fddc2b55bf1dbc55a58ee7d Mon Sep 17 00:00:00 2001
From: Tim Chevalier <chevalier@alum.wellesley.edu>
Date: Wed, 27 Apr 2011 19:04:46 -0700
Subject: [PATCH] Enable typestate_check

This was supposed to be in a previous commit. I don't know what happened.
---
 src/comp/driver/rustc.rs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/comp/driver/rustc.rs b/src/comp/driver/rustc.rs
index 584d81ad7f2..99c736025db 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);
 }