1 files changed, 0 insertions, 2 deletions
diff --git a/spinlock.c b/spinlock.c
index 5f04dcf..183e730 100644
--- a/spinlock.c
+++ b/spinlock.c
@@ -8,8 +8,6 @@
 #include "proc.h"
 #include "spinlock.h"
 
-extern int use_console_lock;
-
 void
 initlock(struct spinlock *lock, char *name)
 {