aboutsummaryrefslogtreecommitdiff
path: root/src/comp/driver/rustc.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/comp/driver/rustc.rs')
-rw-r--r--src/comp/driver/rustc.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/comp/driver/rustc.rs b/src/comp/driver/rustc.rs
index a1fdb387..657c098d 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;