diff --git a/src/ast/fpa/fpa2bv_converter.cpp b/src/ast/fpa/fpa2bv_converter.cpp
index 777840fc9..6e74f60b1 100644
--- a/src/ast/fpa/fpa2bv_converter.cpp
+++ b/src/ast/fpa/fpa2bv_converter.cpp
@@ -4107,5 +4107,6 @@ void fpa2bv_converter::reset(void) {
         m.dec_ref(it->m_value.first);
         m.dec_ref(it->m_value.second);
     }
+    m_specials.reset();
     m_extra_assertions.reset();
 }