X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffile-handle.h;h=2e8de05ab2f774c840b9ab09cd80a9f16449b5f3;hb=053e7ff6e0a45a25d5604b211e9c950fff50e75d;hp=52cf8f121f6f395202458fdd6e96ac6b70033e29;hpb=cc56bd9dc9ecf718111aaf16022f0fe8883a5487;p=pspp-builds.git

diff --git a/src/file-handle.h b/src/file-handle.h
index 52cf8f12..2e8de05a 100644
--- a/src/file-handle.h
+++ b/src/file-handle.h
@@ -22,9 +22,10 @@
 
 /* File handles. */
 
+#include <stdbool.h>
 #include <stddef.h>
 #include "file-handle-def.h"
 
-struct file_handle *fh_parse (void);
+struct file_handle *fh_parse (enum fh_referent);
 
 #endif /* !file_handle.h */