1 files changed, 3 insertions, 0 deletions

diff --git a/src/dispextern.h b/src/dispextern.h
index 2d977880c40..1d7b8710aba 100644
--- a/src/dispextern.h
+++ b/src/dispextern.h
@@ -92,3 +92,6 @@ extern void get_display_line ();
 /* Buffer used by `message' for formatting a message.  */
 extern char *message_buf;
 extern int message_buf_size;
+
+/* Nonzero means message_buf is being used by print.  */
+extern int message_buf_print;