From 17c7bf01a51c8ba18b1444603bced4cc723900b0 Mon Sep 17 00:00:00 2001
From: Andreas Kling <awesomekling@gmail.com>
Date: Sun, 13 Jan 2019 04:31:16 +0100
Subject: [PATCH] Fix Userland build.

---
 AK/StdLibExtras.h | 2 ++
 Kernel/kstdio.h   | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/AK/StdLibExtras.h b/AK/StdLibExtras.h
index 3de6598cb2..84a0174f7e 100644
--- a/AK/StdLibExtras.h
+++ b/AK/StdLibExtras.h
@@ -13,6 +13,8 @@
 #include <utility>
 #endif
 
+#include <AK/Types.h>
+
 ALWAYS_INLINE void fast_dword_copy(dword* dest, const dword* src, size_t count)
 {
 #ifdef SERENITY
diff --git a/Kernel/kstdio.h b/Kernel/kstdio.h
index 95f2b29948..b69a2746d9 100644
--- a/Kernel/kstdio.h
+++ b/Kernel/kstdio.h
@@ -2,4 +2,6 @@
 
 #include "kprintf.h"
 
+#ifndef USERLAND
 #define printf dbgprintf
+#endif