X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Ffile-name.c;h=5e4080b11f22ffa463f4bc0264b68de2736abd25;hb=72ee644edd2f3dd7744baeff7dc513ad3800cf33;hp=2988d50295b073482b3bee10f274834a56bec6d0;hpb=e30f5e6b6bf7a3b862dacce6b17635e8bf0d909d;p=pspp

diff --git a/src/data/file-name.c b/src/data/file-name.c
index 2988d50295..5e4080b11f 100644
--- a/src/data/file-name.c
+++ b/src/data/file-name.c
@@ -33,6 +33,7 @@
 #include "libpspp/version.h"
 
 #include "gl/dirname.h"
+#include "gl/dosname.h"
 #include "gl/intprops.h"
 #include "gl/minmax.h"
 #include "gl/relocatable.h"