From be3c2d1e367174e8353bd3293149ee63c5ffcb73 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Fri, 19 Jan 2018 09:07:19 -0600
Subject: [PATCH] Change ASSERT(false) to DEBUGPANIC().

---
 sched/semaphore/sem_post.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sched/semaphore/sem_post.c b/sched/semaphore/sem_post.c
index a550c0aab4d..f20cb68c774 100644
--- a/sched/semaphore/sem_post.c
+++ b/sched/semaphore/sem_post.c
@@ -169,7 +169,7 @@ int nxsem_post(FAR sem_t *sem)
             {
               /* This should not happen. */
 
-              ASSERT(false);
+              DEBUGPANIC();
             }
         }