X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fmisc.h;h=e33d588fd8c0db6ca722278eb3c77260a6081d82;hb=a9afcdd223cc1c1b7889601e405cff0bd47300d7;hp=69d3dc4f64043ef9e8929b703c3cd711c1e11d98;hpb=06a34a11908066ab5949d4b36c7fc5b7f44e88bb;p=pspp-builds.git

diff --git a/src/libpspp/misc.h b/src/libpspp/misc.h
index 69d3dc4f..e33d588f 100644
--- a/src/libpspp/misc.h
+++ b/src/libpspp/misc.h
@@ -22,24 +22,6 @@
 
 #define EPSILON (10 * DBL_EPSILON)
 
-/* HUGE_VAL is traditionally defined as positive infinity, or
-   alternatively, DBL_MAX. */
-#if !HAVE_ISINF && !defined isinf
-#define isinf(X) (fabs (X) == HUGE_VAL)
-#endif
-
-/* A Not a Number is not equal to itself. */
-#if !HAVE_ISNAN && !defined isnan
-#define isnan(X) ((X) != (X))
-#endif
-
-/* Finite numbers are not infinities or NaNs. */
-#if !HAVE_FINITE && !defined finite
-#define finite(X) (!isinf (X) && !isnan (X))
-#elif HAVE_IEEEFP_H
-#include <ieeefp.h>		/* Declares finite() under Solaris. */
-#endif
-
 /* Divides nonnegative X by positive Y, rounding up. */
 #define DIV_RND_UP(X, Y) (((X) + ((Y) - 1)) / (Y))