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

diff --git a/src/dfm.h b/src/dfm.h
index ef915695..f561a45e 100644
--- a/src/dfm.h
+++ b/src/dfm.h
@@ -26,6 +26,8 @@
    than system files).  dfm is an fhuser, so see file-handle.h for the
    fhuser interface. */
 
+#include <stddef.h>
+
 /* I/O utilities. */
 struct file_handle;
 char *dfm_get_record (struct file_handle *handle, int *len);