1 files changed, 2 insertions, 3 deletions
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);
 }