X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffile-handle-def.c;h=6cf572b305e06c2602c4a6aced257321fb8052e8;hb=db5df54124af56dc1dfce71f839d78da2b49e346;hp=5dd13e5415f5d692577c05403b8f6efebb8e0425;hpb=72fa0b1128357f3c0b471fddc5d0ff77766a2ea7;p=pspp

diff --git a/src/file-handle-def.c b/src/file-handle-def.c
index 5dd13e5415..6cf572b305 100644
--- a/src/file-handle-def.c
+++ b/src/file-handle-def.c
@@ -19,6 +19,7 @@
 
 #include <config.h>
 #include "file-handle.h"
+#include "file-handle-def.h"
 #include "error.h"
 #include <errno.h>
 #include <stdlib.h>