X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fread-line.c;h=7b23f38d2f359b58ecec1635970904d732edad5c;hb=7f0161009bc79abe0c3b6ae0b8ba57507f57f841;hp=1cd65c0ae73530f485fe1d3e6b835e28c6638d23;hpb=84d663b9b37fdfaf8f88d6d9ba69eb4acb73f7a3;p=pspp-builds.git

diff --git a/src/ui/terminal/read-line.c b/src/ui/terminal/read-line.c
index 1cd65c0a..7b23f38d 100644
--- a/src/ui/terminal/read-line.c
+++ b/src/ui/terminal/read-line.c
@@ -22,6 +22,9 @@
 #include <stdbool.h>
 #include <assert.h>
 #include <errno.h>
+#if ! HAVE_READLINE
+#include <stdint.h>
+#endif
 
 #include "msg-ui.h"