diff --git a/src/smt/qi_queue.cpp b/src/smt/qi_queue.cpp
index 38dd4a0e6..d5807d4d1 100644
--- a/src/smt/qi_queue.cpp
+++ b/src/smt/qi_queue.cpp
@@ -348,7 +348,6 @@ namespace smt {
     void qi_queue::init_search_eh() {
         m_subst.reset();
         m_new_entries.reset();
-        m_delayed_entries.reset();
     }
 
     bool qi_queue::final_check_eh() {