X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fmake-file.c;h=1d32d07e39208ca8cf39997c46cae3428ad747b7;hb=a19b858e0ac3c69e4a28c0ca6d8674427268a863;hp=ed94f04c4adf7888e93dae3580ea403815b816af;hpb=35cb4610fd9a7e9f720a07dadfde944339bfeb21;p=pspp-builds.git

diff --git a/src/data/make-file.c b/src/data/make-file.c
index ed94f04c..1d32d07e 100644
--- a/src/data/make-file.c
+++ b/src/data/make-file.c
@@ -25,8 +25,8 @@
 #include <stdio.h>
 #include "filename.h"
 #include "make-file.h"
-#include "message.h"
-#include "alloc.h"
+#include <libpspp/message.h>
+#include <libpspp/alloc.h>
 
 #include "gettext.h"
 #define _(msgid) gettext (msgid)