From 879363157f008d8e635f7c4a66c12c241640e8b6 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Thu, 9 Jun 2016 12:09:53 +0100
Subject: [PATCH] Bugfix for fpa2bv_converter

---
 src/ast/fpa/fpa2bv_converter.cpp | 1 +
 1 file changed, 1 insertion(+)

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();
 }