cvsignore
[pintos-anon] / src / lib / bitmap.c
index eb18a4963924187b66d6bb17f6aef8a2ff2e8970..0be0379495f63e0563ed958d74893ca8ad572db3 100644 (file)
@@ -1,4 +1,3 @@
-#define NDEBUG
 #include "bitmap.h"
 #include <limits.h>
 #include "debug.h"