X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdfm.h;h=f561a45eee2592980a30ad0037d57d934656498c;hb=18febf84744dc7ab4248542c2f88d91c01ef3fa1;hp=ef915695f8596120dccd92079d0c56f189b11660;hpb=4944c86a9318bc5b5578ab145a95c116ffd2c9fd;p=pspp

diff --git a/src/dfm.h b/src/dfm.h
index ef915695f8..f561a45eee 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);