From 9e7af79094205065a5c1c556963debbcb0a6c721 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 5 Apr 2020 18:16:40 -0700 Subject: [PATCH] initialization order Signed-off-by: Nikolaj Bjorner --- src/smt/theory_utvpi_def.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/smt/theory_utvpi_def.h b/src/smt/theory_utvpi_def.h index 0bdc754a2..52d059d0f 100644 --- a/src/smt/theory_utvpi_def.h +++ b/src/smt/theory_utvpi_def.h @@ -69,9 +69,9 @@ namespace smt { m_lia(false), m_lra(false), m_non_utvpi_exprs(false), - m_var_value_table(DEFAULT_HASHTABLE_INITIAL_CAPACITY, var_value_hash(*this), var_value_eq(*this)), m_test(m), - m_factory(nullptr) { + m_factory(nullptr), + m_var_value_table(DEFAULT_HASHTABLE_INITIAL_CAPACITY, var_value_hash(*this), var_value_eq(*this)) { } template