diff --git a/src/util/parray.h b/src/util/parray.h
index 1a51a8b564..b00f1328d6 100644
--- a/src/util/parray.h
+++ b/src/util/parray.h
@@ -72,7 +72,7 @@ class parray_manager {
         unsigned size() const { SASSERT(kind() == ROOT); return m_size; }
         cell * next() const { SASSERT(kind() != ROOT); return m_next; }
         value const & elem() const { SASSERT(kind() == SET || kind() == PUSH_BACK); return m_elem; }
-        cell(enum ckind k):m_ref_count(1), m_kind(k), m_size(0), m_values(nullptr) {}
+        cell(enum ckind k):m_ref_count(1), m_kind(k), m_size(0), m_elem(), m_values(nullptr) {}
     };
 
     value_manager &  m_vmanager;