michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix compile-error by adding "defined" to interval_def.h

Browse source
This commit is contained in:
Soonho Kong 2013-08-12 14:52:36 -07:00
parent 6bbe592e2a
commit 1c9e5226d8
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/interval/interval_def.h
View file

@ -242,7 +242,7 @@ interval<T> & interval<T>::operator*=(interval<T> const & o) {
using std::swap;
interval<T> const & i1 = *this;
interval<T> const & i2 = o;
#if LEAN_DEBUG || LEAN_TRACE
#if defined(LEAN_DEBUG) || defined(LEAN_TRACE)
bool i1_contains_zero = i1.contains_zero();
bool i2_contains_zero = i2.contains_zero();
#endif