diff --git a/src/comp/middle/typestate_check.rs b/src/comp/middle/typestate_check.rs
index 46bf6a4c1f8e86fa3ee9928ecc696aa39510dd1c..361d70aecd1d0a3ee3dc2a85ce18e32a48f73b3c 100644
--- a/src/comp/middle/typestate_check.rs
+++ b/src/comp/middle/typestate_check.rs
@@ -16,7 +16,6 @@
 import front.ast.ident;
 import front.ast.def_id;
 import front.ast.ann;
-import front.ast.init;
 import front.ast.expr;
 import front.ast.expr_call;
 import front.ast.expr_path;