From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 13 Sep 2004 01:24:01 +0000 (+0000)
Subject: Needs #include <console.h>.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9ab60037e59bb84c22d5648be7c0655fe1be820e;p=pintos-anon

Needs #include <console.h>.
---

diff --git a/src/lib/kernel/console.c b/src/lib/kernel/console.c
index 7ce9cbf..803b46b 100644
--- 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"