X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Ffile-name.c;h=ea95002031a5df7e3014769dcecbbcaf00f39267;hb=2989bae3e4d22437b6f225385f70423851612a2a;hp=dd512c033680fa03c7e612b1e33a84642753f6ea;hpb=3f2ed1c5fe6dc692ca00bb18a15e41617fa2d37d;p=pspp

diff --git a/src/data/file-name.c b/src/data/file-name.c
index dd512c0336..ea95002031 100644
--- a/src/data/file-name.c
+++ b/src/data/file-name.c
@@ -18,19 +18,24 @@
    02110-1301, USA. */
 
 #include <config.h>
-#include <libpspp/message.h>
+
 #include "file-name.h"
-#include <stdio.h>
-#include <stdlib.h>
+
 #include <ctype.h>
 #include <errno.h>
-#include <libpspp/alloc.h>
+#include <stdio.h>
+#include <stdlib.h>
+
 #include "intprops.h"
+#include "settings.h"
+#include "xreadlink.h"
+
+#include <libpspp/alloc.h>
+#include <libpspp/message.h>
 #include <libpspp/message.h>
 #include <libpspp/str.h>
-#include "settings.h"
+#include <libpspp/verbose-msg.h>
 #include <libpspp/version.h>
-#include "xreadlink.h"
 
 #include "gettext.h"
 #define _(msgid) gettext (msgid)