X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Ftests%2Fpool-test.c;h=17674fbdba28bb48e4f912a77317ce12bcaaa135;hb=84e4d346b557748b62d43158c1b50f655e357f9f;hp=86d50fccf8b8a00740f6cb82d74f2b496878fff3;hpb=dcf9b154cbcaa35c3d8459a201b77eec8bcb30bd;p=pspp

diff --git a/src/language/tests/pool-test.c b/src/language/tests/pool-test.c
index 86d50fccf8..17674fbdba 100644
--- a/src/language/tests/pool-test.c
+++ b/src/language/tests/pool-test.c
@@ -18,8 +18,8 @@
    02110-1301, USA. */
 
 #include <config.h>
-#include "pool.h"
-#include "command.h"
+#include <libpspp/pool.h>
+#include <language/command.h>
 #include <errno.h>
 #include <stdio.h>
 #include <stdlib.h>