X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Ftukey%2Fptukey.c;h=9a89104cf90e78f206a002e611d850b5ad922eb6;hb=cb00cc9f9dc738f2850cd4b5a9776031f87de8a2;hp=c86ef23613c0766e90681dfdabc25c026257c58f;hpb=7466f9c7baaf5a5d4cc7b670be290395ccb20b65;p=pspp

diff --git a/lib/tukey/ptukey.c b/lib/tukey/ptukey.c
index c86ef23613..9a89104cf9 100644
--- a/lib/tukey/ptukey.c
+++ b/lib/tukey/ptukey.c
@@ -371,9 +371,7 @@ ptukey (double q, double rr, double cc, double df, int lower_tail, int log_p)
   double ans, f2, f21, f2lf, ff4, otsum, qsqz, rotsum, t1, twa1, ulen, wprb;
   int i, j, jj;
 
-#ifdef IEEE_754
-  abort (! (ISNAN (q) || ISNAN (rr) || ISNAN (cc) || ISNAN (df)));
-#endif
+  assert (! (isnan (q) || isnan (rr) || isnan (cc) || isnan (df)));
 
   if (q <= 0)
     return R_DT_0;