From 972181697a6b824b86d0bff2812e1058ae241803 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Fri, 29 Apr 2016 07:11:42 +0000
Subject: [PATCH] fs_mount.c edited online with Bitbucket.  Fix problem noted
 by David Sidrane.

---
 fs/mount/fs_mount.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fs/mount/fs_mount.c b/fs/mount/fs_mount.c
index 1fd2864c35..8357aabcb1 100644
--- a/fs/mount/fs_mount.c
+++ b/fs/mount/fs_mount.c
@@ -298,7 +298,7 @@ int mount(FAR const char *source, FAR const char *target,
        * incremented.
        */
 
-      DEBUGASSERT(mountpt_inode->u.i_mops == NULL);
+      DEBUGASSERT(mountpt_inode->u.i_mops != NULL);
     }
   else
 #endif