diff --git a/src/comp/driver/rustc.rs b/src/comp/driver/rustc.rs
index a1fdb387d7f..657c098d527 100644
--- a/src/comp/driver/rustc.rs
+++ b/src/comp/driver/rustc.rs
@@ -8,7 +8,7 @@ import middle.trans;
 import middle.resolve;
 import middle.ty;
 import middle.typeck;
-import middle.typestate_check;
+// import middle.typestate_check;
 import util.common;
 
 import std.map.mk_hashmap;