diff --git a/C/iopreds.c b/C/iopreds.c
index 6461384fd..81ef27b20 100644
--- a/C/iopreds.c
+++ b/C/iopreds.c
@@ -875,6 +875,7 @@ p_prompt (void)
 
 #if HAVE_READLINE_READLINE_H
 #include <readline/readline.h>
+#include <readline/history.h>
 #endif
 
 static char *ttyptr = NULL;