Diff between aedd7b936b7240614a5305a8039a402d2da335ea and e501c8ab3023155700bc752d318b1ba3480311da
Changed Files
| File | Additions | Deletions | Status |
| src/shared/shell.c | +1 | -1 | modified |
Full Patch
diff --git a/src/shared/shell.c b/src/shared/shell.c
index b778421..631a07f 100644
--- a/src/shared/shell.c
+++ b/src/shared/shell.c
@@ -1426,7 +1426,7 @@ static void rl_cleanup(void)
if (data.history[0] != '\0')
write_history(data.history);
- rl_message("");
+ rl_message("%s", "");
rl_callback_handler_remove();
}