X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fflip.c;h=37b461db375cab18d2a25a9e57b2b40b6c82812b;hb=6d7e2826ba9c863f6261e9718e0e822e0ca60aa0;hp=b352f1b23301f4689e449fe61ed1cb9cde1c081e;hpb=317e6b778833b5dcd5dd195c0b677835a8024b2a;p=pspp

diff --git a/src/flip.c b/src/flip.c
index b352f1b233..37b461db37 100644
--- a/src/flip.c
+++ b/src/flip.c
@@ -38,7 +38,7 @@
 #include "var.h"
 #include "vfm.h"
 
-#ifndef HAVE_SYS_TYPES_H
+#ifdef HAVE_SYS_TYPES_H
 #include <sys/types.h>
 #endif