1 files changed, 4 insertions, 1 deletions
diff --git a/os/port/devcons.c b/os/port/devcons.c
index 7460cffc..2f24a36f 100644
--- a/os/port/devcons.c
+++ b/os/port/devcons.c
@@ -304,6 +304,9 @@ _assert(char *fmt)
 	panic("assert failed: %s", fmt);
 }
 
+/*
+ * mainly for libmp
+ */
 void
 sysfatal(char *fmt, ...)
 {
@@ -313,7 +316,7 @@ sysfatal(char *fmt, ...)
 	va_start(arg, fmt);
 	vsnprint(buf, sizeof(buf), fmt, arg);
 	va_end(arg);
-	panic("sysfatal: %s", buf);
+	error(buf);
 }
 
 int