From 4b00ea69dbfb609e6d0e66d2ac859f83c076e209 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Thu, 26 May 2016 14:01:06 +0100
Subject: [PATCH] refcount fix for theory_fpa

---
 src/smt/theory_fpa.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/smt/theory_fpa.cpp b/src/smt/theory_fpa.cpp
index 7a28b2609..ca939a1e8 100644
--- a/src/smt/theory_fpa.cpp
+++ b/src/smt/theory_fpa.cpp
@@ -623,6 +623,7 @@ namespace smt {
         }
 
         m_th_rw(c);
+
         expr_ref xe_eq_ye(m), not_xe_eq_ye(m), c_eq_iff(m);
         xe_eq_ye = m.mk_eq(xe, ye);
         not_xe_eq_ye = m.mk_not(xe_eq_ye);
@@ -879,6 +880,7 @@ namespace smt {
                 m_fpa_util.is_to_real_unspecified(f);
             if (include && !m_is_added_to_model.contains(f)) {
                 m_is_added_to_model.insert(f);
+                get_manager().inc_ref(f);
                 return true;
             }
             return false;