diff --git a/src/interval/interval_def.h b/src/interval/interval_def.h index 2e0d77e93d..505c80b343 100644 --- a/src/interval/interval_def.h +++ b/src/interval/interval_def.h @@ -1057,7 +1057,7 @@ template void interval::sin() { // sin(x) = [-sin(l'), 1] if l' + u' <= - pi // = [-sin(u'), 1] if l' + u' >= - pi if(m_lower + m_upper <= - pi) { - m_lower = m_lower; + // Nothing } else { m_lower = m_upper; }