diff --git a/src/comp/middle/tstate/pre_post_conditions.rs b/src/comp/middle/tstate/pre_post_conditions.rs
index 1752fcaf2b13..a837bd9f9a2c 100644
--- a/src/comp/middle/tstate/pre_post_conditions.rs
+++ b/src/comp/middle/tstate/pre_post_conditions.rs
@@ -79,7 +79,6 @@ import front::ast::lit;
 import front::ast::init_op;
 import front::ast::controlflow;
 import front::ast::return;
-import front::ast::noreturn;
 import front::ast::_fn;
 import front::ast::_obj;
 import front::ast::crate;