X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata-in.h;h=c569d55c990beb9d56601b5f48583ef68ef87cb5;hb=3a7fba81ceae5b049d0f7d671e9e3c3c43bbf703;hp=c520920522838d4e3b82f90521251ff675eefd75;hpb=b9dcb1c23a48b9db5444b9f10aac0748b83898ad;p=pspp-builds.git

diff --git a/src/data-in.h b/src/data-in.h
index c5209205..c569d55c 100644
--- a/src/data-in.h
+++ b/src/data-in.h
@@ -20,6 +20,7 @@
 #if !data_in_h
 #define data_in_h 1
 
+#include <stddef.h>
 #include "format.h"
 
 /* Flags. */