From 436f657e2d32e4ff0082ef237c1ab3eb77758626 Mon Sep 17 00:00:00 2001
From: Austin Clements <amdragon@mit.edu>
Date: Fri, 2 Sep 2011 15:07:56 -0400
Subject: [PATCH] Remove unused headers from log.c

---
 log.c | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/log.c b/log.c
index ef6c1e7..20d0bef 100644
--- a/log.c
+++ b/log.c
@@ -1,9 +1,6 @@
 #include "types.h"
 #include "defs.h"
 #include "param.h"
-#include "mmu.h"
-#include "proc.h"
-#include "x86.h"
 #include "spinlock.h"
 #include "fs.h"
 #include "buf.h"
-- 
GitLab