From 0a2ac88dd1e7df6decfb93282b91ce0384bd6172 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Wed, 14 Aug 2013 19:51:54 -0700
Subject: [PATCH] Fix interval<T>::cosh

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

diff --git a/src/interval/interval_def.h b/src/interval/interval_def.h
index 88fcc4d00..b9e6cdbc6 100644
--- a/src/interval/interval_def.h
+++ b/src/interval/interval_def.h
@@ -1314,17 +1314,17 @@ template<typename T> void interval<T>::cosh () {
             numeric_traits<T>::set_rounding(false);
             numeric_traits<T>::cosh(m_lower);
             numeric_traits<T>::set_rounding(true);
-            numeric_traits<T>::cosh(m_lower);
+            numeric_traits<T>::cosh(m_upper);
             lean_assert(check_invariant());
             return;
         }
         if(numeric_traits<T>::is_neg(m_upper) || numeric_traits<T>::is_zero(m_upper)) {
             // [a, b] where a <= b < 0
-            numeric_traits<T>::set_rounding(true);
-            numeric_traits<T>::cosh(m_lower);
+            std::swap(m_lower, m_upper);
             numeric_traits<T>::set_rounding(false);
             numeric_traits<T>::cosh(m_lower);
-            std::swap(m_lower, m_upper);
+            numeric_traits<T>::set_rounding(true);
+            numeric_traits<T>::cosh(m_upper);
             lean_assert(check_invariant());
             return;
         }