diff options
Diffstat (limited to 'src/kernel/pagemgr.C')
| -rw-r--r-- | src/kernel/pagemgr.C | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/kernel/pagemgr.C b/src/kernel/pagemgr.C index 5d6637203..1570a97d3 100644 --- a/src/kernel/pagemgr.C +++ b/src/kernel/pagemgr.C @@ -1,3 +1,4 @@ +#include <limits.h> #include <kernel/pagemgr.H> #include <util/singleton.H> #include <kernel/console.H> |
