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

diff --git a/src/dfm.h b/src/dfm.h
index ef915695f8..30f12846a8 100644
--- a/src/dfm.h
+++ b/src/dfm.h
@@ -26,8 +26,12 @@
    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;
+int dfm_open_for_reading (struct file_handle *handle);
+int dfm_open_for_writing (struct file_handle *handle);
 char *dfm_get_record (struct file_handle *handle, int *len);
 int dfm_put_record (struct file_handle *handle, const char *rec, size_t len);