Changes in kernel/generic/src/ipc/ops/dataread.c [e5a4250:63e27ef] 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>
@@ -58 +59 @@
 static int answer_preprocess(call_t *answer, ipc_data_t *olddata)
 {
-        ASSERT(!answer->buffer);
+        assert(!answer->buffer);
 
         if (!IPC_GET_RETVAL(answer->data)) {