fix wrong printf usage
authorMatthias Braun <matze@braunis.de>
Fri, 28 Nov 2008 12:44:15 +0000 (12:44 +0000)
committerMatthias Braun <matze@braunis.de>
Fri, 28 Nov 2008 12:44:15 +0000 (12:44 +0000)
[r24109]

ir/common/debug.c

index 45c4e4e..1a279a0 100644 (file)
@@ -157,7 +157,7 @@ void _firm_dbg_print(const firm_dbg_module_t *mod, unsigned mask, const char *fm
     ir_obst_vprintf(&dbg_obst, fmt, args);
     obstack_1grow(&dbg_obst, '\0');
     res = obstack_finish(&dbg_obst);
-    fprintf(mod->file, res);
+    fprintf(mod->file, "%s", res);
     obstack_free(&dbg_obst, res);
     va_end(args);
   }