Changes in kernel/generic/src/ipc/ops/dataread.c [63e27ef:e5a4250] in mainline

File:

• kernel/generic/src/ipc/ops/dataread.c (modified) (2 diffs)

kernel/generic/src/ipc/ops/dataread.c

@@ -33 +33 @@
  */
 
-#include <assert.h>
 #include <ipc/sysipc_ops.h>
 #include <ipc/ipc.h>
@@ -59 +58 @@
 static int answer_preprocess(call_t *answer, ipc_data_t *olddata)
 {
-        assert(!answer->buffer);
+        ASSERT(!answer->buffer);
 
         if (!IPC_GET_RETVAL(answer->data)) {