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

File:

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

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

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