Needs #include <console.h>.

[pintos-anon] / src / lib / kernel / console.c

diff --git a/src/lib/kernel/console.c b/src/lib/kernel/console.c
index 7ce9cbfc12dab8af872dfafaf5c9b665849661e2..803b46b393dca80c9773e165bdcf8715c2a67de5 100644 (file)
--- a/src/lib/kernel/console.c
+++ b/src/lib/kernel/console.c
@@ -1,3 +1,4 @@
+#include <console.h>
 #include <stdarg.h>
 #include <stdio.h>
 #include "devices/serial.h"