From 906610efc9dad4abeea0164c09e138a48bcd9882 Mon Sep 17 00:00:00 2001
From: Frans Kaashoek <kaashoek@mit.edu>
Date: Mon, 30 Jan 2017 20:01:33 -0500
Subject: [PATCH] Thanks to Jeehoon Kang <jeehoon.kang@sf.snu.ac.kr>

---
 memide.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/memide.c b/memide.c
index 63f0a24..ba267ac 100644
--- a/memide.c
+++ b/memide.c
@@ -9,6 +9,7 @@
 #include "x86.h"
 #include "traps.h"
 #include "spinlock.h"
+#include "sleeplock.h"
 #include "fs.h"
 #include "buf.h"