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

fix(util/lp/lp_settings): replace fabs with std::abs

Browse source
This commit is contained in:
Leonardo de Moura 2016-01-26 13:17:13 -08:00
parent 971ec72157
commit 40d4623219
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/util/lp/lp_settings.cpp
View file

@ -4,6 +4,7 @@
Author: Lev Nachmanson
*/
#include <cmath>
#include "util/numerics/double.h"
#include "util/lp/lp_settings.h"
namespace lean {
@ -93,7 +94,7 @@ bool vectors_are_equal(T * a, std::vector<T> &b, unsigned n) {
}
} else {
for (unsigned i = 0; i < n; i ++){
if (fabs(numeric_traits<T>::get_double(a[i] - b[i])) > 0.000001) {
if (std::abs(numeric_traits<T>::get_double(a[i] - b[i])) > 0.000001) {
std::cout << "a[" << i <<"]" << a[i] << ", " << "b[" << i <<"]" << b[i] << std::endl;
return false;
}
@ -146,4 +147,3 @@ bool vectors_are_equal(const std::vector<T> & a, const std::vector<T> &b) {
return true;
}
}