X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdfm.c;h=0cfa801fcf20c6d47715042818b544496adfc981;hb=3a7fba81ceae5b049d0f7d671e9e3c3c43bbf703;hp=0b231208b8a686b8eb9b8dc4f64e317efeed2f26;hpb=fcb9e49b2a2d57af7c001ae5d2eda9ac443ba36b;p=pspp

diff --git a/src/dfm.c b/src/dfm.c
index 0b231208b8..0cfa801fcf 100644
--- a/src/dfm.c
+++ b/src/dfm.c
@@ -36,6 +36,7 @@ char *alloca ();
 #endif
 
 #include <assert.h>
+#include "dfm.h"
 #include <ctype.h>
 #include <errno.h>
 #include <stdlib.h>
@@ -485,6 +486,8 @@ eof:
 char *
 dfm_get_record (struct file_handle *h, int *len)
 {
+  assert (h != NULL);
+
   if (h->class == NULL)
     {
       if (!open_file_r (h))