X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Ffile-name.c;h=5e4080b11f22ffa463f4bc0264b68de2736abd25;hb=0b52efcb1226c05b87c4ff9add5c91c70c42c862;hp=2988d50295b073482b3bee10f274834a56bec6d0;hpb=ca0a72e321421d02a1fd6df943425eff4bd1a257;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"