From d5f2d6b26f6540033c3f86bd7637f0a27ed9e208 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Tue, 13 Aug 2013 20:07:20 -0700
Subject: [PATCH] Fix default constructor of interval<T> to call reset method
 to assign 0

---
 src/interval/interval_def.h | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

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<T> & interval<T>::operator=(interval && n) {
 
 template<typename T>
 interval<T>::interval():
-    m_lower(0),
-    m_upper(0) {
+    m_lower(),
+    m_upper() {
+    numeric_traits<T>::reset(m_lower);
+    numeric_traits<T>::reset(m_upper);
     m_lower_inf  = true;
     m_lower_open = true;
     m_upper_inf  = true;