diff --git a/mir2c/mir2c.c b/mir2c/mir2c.c
index 930ef7a50d..8c1dc85554 100644
--- a/mir2c/mir2c.c
+++ b/mir2c/mir2c.c
@@ -531,7 +531,7 @@ static void out_insn (MIR_context_t ctx, FILE *f, MIR_insn_t insn) {
       out_op (ctx, f, ops[0]);
       fprintf (f, " = (int64_t) va_arg(*(va_list *) ");
       out_op (ctx, f, ops[1]);
-      va_arg (", void*);\n");
+      fprintf (f, ", void*);\n");
       break;
     }
 #endif