diff options
| -rw-r--r-- | semihosting/user.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/semihosting/user.c b/semihosting/user.c index 515de3d2c0..98c144cb45 100644 --- a/semihosting/user.c +++ b/semihosting/user.c @@ -11,6 +11,7 @@ bool semihosting_enabled(bool is_user) { + assert(is_user); return true; } |