1 files changed, 1 insertions, 0 deletions
diff --git a/src/keyboard.c b/src/keyboard.c
index 09564418ddf..8d86a2e889a 100644
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -42,6 +42,7 @@ along with GNU Emacs.  If not, see <http://www.gnu.org/licenses/>.  */
 #include "puresize.h"
 #include "systime.h"
 #include "atimer.h"
+#include "process.h"
 #include <errno.h>
 #ifdef HAVE_GTK_AND_PTHREAD

diff --git a/src/keyboard.c b/src/keyboard.c index 09564418ddf..8d86a2e889a 100644 --- a/src/keyboard.c +++ b/src/keyboard.c
@@ -42,6 +42,7 @@ along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. */
42	#include "puresize.h"	42	#include "puresize.h"
43	#include "systime.h"	43	#include "systime.h"
44	#include "atimer.h"	44	#include "atimer.h"
		45	#include "process.h"
45	#include <errno.h>	46	#include <errno.h>
46		47
47	#ifdef HAVE_GTK_AND_PTHREAD	48	#ifdef HAVE_GTK_AND_PTHREAD