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

diff --git a/src/dfm.c b/src/dfm.c
index 21b2b5acd3..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>
@@ -50,8 +51,6 @@ char *alloca ();
 #include "str.h"
 #include "vfm.h"
 
-#undef DEBUGGING
-/*#define DEBUGGING 1*/
 #include "debug-print.h"
 
 /* file_handle extension structure. */
@@ -487,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))