diff --git a/src/interval/interval_def.h b/src/interval/interval_def.h index ebfb4e4d0..3ec308c89 100644 --- a/src/interval/interval_def.h +++ b/src/interval/interval_def.h @@ -43,8 +43,10 @@ interval & interval::operator=(interval && n) { template interval::interval(): - m_lower(0), - m_upper(0) { + m_lower(), + m_upper() { + numeric_traits::reset(m_lower); + numeric_traits::reset(m_upper); m_lower_inf = true; m_lower_open = true; m_upper_inf = true;