From f7973340e688fd850dc75e7d56a0f9e32ff22779 Mon Sep 17 00:00:00 2001
From: Ilja van Sprundel <ivansprundel@ioactive.com>
Date: Mon, 7 Oct 2019 14:48:16 +0200
Subject: [PATCH] include header

need limits.h for INT_MAX
---
 minix/servers/devman/devman.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/minix/servers/devman/devman.h b/minix/servers/devman/devman.h
index a9d77d5f0..b530035dd 100644
--- a/minix/servers/devman/devman.h
+++ b/minix/servers/devman/devman.h
@@ -10,6 +10,7 @@
 #include <stdio.h>
 #include <string.h>
 #include <lib.h>
+#include <limits.h>
 #include <minix/timers.h>
 
 #include <minix/callnr.h>