X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fdata%2Fpor-file-writer.c;h=8a27f6b785ccc548d5a14436cfe221ee7476d3e6;hb=4aa40ed36fcdb13f73520945d804e6d3d8d52738;hp=75022ea7f6d8b924d72112e198b59d677c79e3a0;hpb=a2d859e5a4c8192257c04fd89b8336aa33b15363;p=pspp

diff --git a/src/data/por-file-writer.c b/src/data/por-file-writer.c
index 75022ea7f6..8a27f6b785 100644
--- a/src/data/por-file-writer.c
+++ b/src/data/por-file-writer.c
@@ -20,7 +20,6 @@
 #include <ctype.h>
 #include <errno.h>
 #include <float.h>
-#include <gsl/gsl_math.h>
 #include <math.h>
 #include <stdio.h>
 #include <stdlib.h>
@@ -778,7 +777,7 @@ format_trig_double (long double value, int base_10_precision, char output[])
      0...30**6, an invariant of the loop below. */
   errno = 0;
   base_2_sig = frexp (value, &base_2_exp);
-  if (errno != 0 || !gsl_finite (base_2_sig))
+  if (errno != 0 || !isfinite (base_2_sig))
     goto missing_value;
   if (base_2_exp == 0 && base_2_sig == 0.)
     goto zero;