From f52baf1e17438650c10c316cae88549ea3366f66 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 21 Dec 2016 10:48:43 -0800 Subject: [PATCH] fix build again Signed-off-by: Nikolaj Bjorner --- src/smt/theory_fpa.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/smt/theory_fpa.h b/src/smt/theory_fpa.h index a70ddb98f..998f2be3c 100644 --- a/src/smt/theory_fpa.h +++ b/src/smt/theory_fpa.h @@ -112,6 +112,7 @@ namespace smt { }; class fpa_rm_value_proc : public model_value_proc { + theory_fpa & m_th; ast_manager & m; fpa_util & m_fu; bv_util & m_bu; @@ -119,7 +120,7 @@ namespace smt { public: fpa_rm_value_proc(theory_fpa * th) : - m(th->get_manager()), m_fu(th->m_fpa_util), m_bu(th->m_bv_util) {} + m_th(*th), m(th->get_manager()), m_fu(th->m_fpa_util), m_bu(th->m_bv_util) { (void) m_th; } void add_dependency(enode * e) { m_deps.push_back(model_value_dependency(e)); }