X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fstats%2Fflip.c;h=760b2ffc30932d99872516a8d4154dcf919ed84e;hb=c3bd77adba5746aae895e6a354aada4e694c0e3f;hp=f327adec9a61d35a530721be689658971676335a;hpb=0730ccfa7528b67b7b2d699925668ea3a6e77b75;p=pspp-builds.git

diff --git a/src/language/stats/flip.c b/src/language/stats/flip.c
index f327adec..760b2ffc 100644
--- a/src/language/stats/flip.c
+++ b/src/language/stats/flip.c
@@ -21,9 +21,6 @@
 #include <float.h>
 #include <limits.h>
 #include <stdlib.h>
-#ifdef HAVE_SYS_TYPES_H
-#include <sys/types.h>
-#endif
 
 #include <data/case.h>
 #include <data/casereader.h>