X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fdata-io%2Ffile-handle.q;h=827dbab499e9af94a7c55fee5a42764a1ca39f89;hb=d4fdb8d1a601d45340fc29f0af38f0aef151fb0b;hp=9747cb1aaa624b3663b62c442b35c6e8cf3e8176;hpb=9b94efd7513afdb12a6023024e00e50801532fee;p=pspp
diff --git a/src/language/data-io/file-handle.q b/src/language/data-io/file-handle.q
index 9747cb1aaa..827dbab499 100644
--- a/src/language/data-io/file-handle.q
+++ b/src/language/data-io/file-handle.q
@@ -15,6 +15,7 @@
along with this program. If not, see . */
#include
+#include
#include
#include
#include