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

diff --git a/src/ui/terminal/read-line.c b/src/ui/terminal/read-line.c
index 1cd65c0ae7..7b23f38d2f 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"