summaryrefslogtreecommitdiff
path: root/nuttx/mm/mm_user.c
diff options
context:
space:
mode:
Diffstat (limited to 'nuttx/mm/mm_user.c')
-rw-r--r--nuttx/mm/mm_user.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/nuttx/mm/mm_user.c b/nuttx/mm/mm_user.c
index ed5ba5eb9..d487e4264 100644
--- a/nuttx/mm/mm_user.c
+++ b/nuttx/mm/mm_user.c
@@ -38,6 +38,7 @@
************************************************************************/
#include <nuttx/config.h>
+#include <assert.h>
#include <nuttx/mm.h>
#if !defined(CONFIG_NUTTX_KERNEL) || !defined(__KERNEL__)