diff -r 56f9a4ba9149 -r 30828157ae80 src/lemon/lp_base.h --- a/src/lemon/lp_base.h Thu Apr 28 09:54:38 2005 +0000 +++ b/src/lemon/lp_base.h Fri Apr 29 08:21:03 2005 +0000 @@ -20,7 +20,7 @@ #include #include #include -#include +#include #include #include @@ -401,12 +401,12 @@ ///Is the constraint lower bounded? bool lowerBounded() const { using namespace std; - return isfinite(_lb); + return finite(_lb); } ///Is the constraint upper bounded? bool upperBounded() const { using namespace std; - return isfinite(_ub); + return finite(_ub); } };