Redo makefiles.
[pintos-anon] / src / lib / hash.c
index 665fd0990a4537c0bfbcef861be86a295f6efc42..a6b18a9de9543e1637629f8177c3dba87c364fd7 100644 (file)
@@ -1,5 +1,6 @@
 #include "hash.h"
-#include "malloc.h"
+#include "debug.h"
+#include "threads/malloc.h"
 
 static struct list *find_bucket (struct hash *, hash_elem *);
 static struct list_elem *find_elem (struct hash *, struct list *, hash_elem *);