X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fhash.c;h=627751e16adcdd8d9dacee018a44741de2c17903;hb=a9afcdd22;hp=9da3deb120a92ba0ee3423f78441ad85dd9ab22f;hpb=06a34a11908066ab5949d4b36c7fc5b7f44e88bb;p=pspp-builds.git diff --git a/src/libpspp/hash.c b/src/libpspp/hash.c index 9da3deb1..627751e1 100644 --- a/src/libpspp/hash.c +++ b/src/libpspp/hash.c @@ -20,6 +20,7 @@ #include "message.h" #include #include +#include #include #include #include @@ -133,7 +134,7 @@ hsh_hash_int (int i) unsigned hsh_hash_double (double d) { - if (!isnan (d)) + if (!gsl_isnan (d)) return hsh_hash_bytes (&d, sizeof d); else return 0;