X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fbitmap.c;h=0be0379495f63e0563ed958d74893ca8ad572db3;hb=dca7bfbc436c5305ef8f0df6fbe1faba89a0012e;hp=8357d2e1fe2f951a6713efb7572b065e3eb3bb2a;hpb=a5f4589c0167c2124c2e9b9b895bec1257d11f92;p=pintos-anon

diff --git a/src/lib/bitmap.c b/src/lib/bitmap.c
index 8357d2e..0be0379 100644
--- a/src/lib/bitmap.c
+++ b/src/lib/bitmap.c
@@ -1,11 +1,10 @@
-#define NDEBUG
 #include "bitmap.h"
 #include <limits.h>
 #include "debug.h"
 #include "lib.h"
-#include "malloc.h"
+#include "threads/malloc.h"
 #ifdef FILESYS
-#include "file.h"
+#include "filesys/file.h"
 #endif
 
 /* Number of bits in an element. */