X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Flib%2Fstring.c;h=01e4ecb378d462e4fb639ea01db177cb8070f977;hp=89fa1f05c01f130bce10948d493a10cac6d29063;hb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;hpb=5780c9f434cca090f88463b7f0199d49b4ded288

diff --git a/src/lib/string.c b/src/lib/string.c
index 89fa1f0..01e4ecb 100644
--- a/src/lib/string.c
+++ b/src/lib/string.c
@@ -1,8 +1,4 @@
 #include <string.h>
-
-#ifdef KERNEL
-#define NDEBUG
-#endif
 #include <debug.h>
 
 /* Copies SIZE bytes from SRC to DST, which must not overlap.