Changes in kernel/generic/src/udebug/udebug_ipc.c [63e27ef:b5f716b] in mainline

File:

• kernel/generic/src/udebug/udebug_ipc.c (modified) (3 diffs)

kernel/generic/src/udebug/udebug_ipc.c

@@ -38 +38 @@
  * functions from the udebug_ops module which implement them.
  */
-
-#include <assert.h>
+ 
 #include <proc/task.h>
 #include <proc/thread.h>
@@ -356 +355 @@
         }
 
-        assert(buffer != NULL);
+        ASSERT(buffer != NULL);
 
         /*
@@ -402 +401 @@
         }
 
-        assert(buffer != NULL);
+        ASSERT(buffer != NULL);
 
         IPC_SET_RETVAL(call->data, 0);