X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Ffile-handle-def.c;h=32ca5c948782e11564e5ae604a391c1bfbba9984;hb=378ff5f35086629f4656c5e46934d1ec51ec00ca;hp=4b83c3e1c2802645447f349adeebcc02eacf1752;hpb=3f2ed1c5fe6dc692ca00bb18a15e41617fa2d37d;p=pspp

diff --git a/src/data/file-handle-def.c b/src/data/file-handle-def.c
index 4b83c3e1c2..32ca5c9487 100644
--- a/src/data/file-handle-def.c
+++ b/src/data/file-handle-def.c
@@ -18,16 +18,19 @@
    02110-1301, USA. */
 
 #include <config.h>
+
 #include "file-handle-def.h"
-#include <libpspp/message.h>
+
+#include <assert.h>
 #include <errno.h>
 #include <stdlib.h>
 #include <string.h>
+
 #include <libpspp/alloc.h>
 #include <libpspp/compiler.h>
-#include "file-name.h"
-#include <libpspp/message.h>
 #include <libpspp/magic.h>
+#include <libpspp/message.h>
+#include "file-name.h"
 #include "variable.h"
 #include "scratch-handle.h"