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<typename Ext>