X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fdata-io%2Fprint-space.c;h=f26e1f25111648634e720a3f97ec0593317b2246;hb=338fb2a2e84df6427a2fdee6769421f57d5666d8;hp=8ddd0be5d9c93df9e13a9326aa67ff8ae021d244;hpb=946282d65fa0142e38d10f78d2c699dacf95300e;p=pspp

diff --git a/src/language/data-io/print-space.c b/src/language/data-io/print-space.c
index 8ddd0be5d9..f26e1f2511 100644
--- a/src/language/data-io/print-space.c
+++ b/src/language/data-io/print-space.c
@@ -23,6 +23,7 @@
 #include <stdlib.h>
 
 #include <data/procedure.h>
+#include <data/value.h>
 #include <language/command.h>
 #include <language/data-io/data-writer.h>
 #include <language/data-io/file-handle.h>