diff --git a/monitor.c b/monitor.c index 8cec8c9e12..745c3350b2 100644 --- a/monitor.c +++ b/monitor.c @@ -1936,10 +1936,9 @@ static const MonitorDef monitor_defs[] = { { NULL }, }; -static void expr_error(const char *fmt) +static void expr_error(const char *msg) { - term_printf(fmt); - term_printf("\n"); + term_printf("%s\n", msg); longjmp(expr_env, 1); }