X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Ftukey%2Fptukey.c;h=9a89104cf90e78f206a002e611d850b5ad922eb6;hb=03a186e01fcded69477ad9680cda8bd8d4a21d98;hp=c86ef23613c0766e90681dfdabc25c026257c58f;hpb=32ee0e0402d6d56674f53a47d879ec5c07dabe09;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;