#ifndef _IRPRINTF_H
#define _IRPRINTF_H
+#include "firm_config.h"
+
#include <stddef.h>
#include <stdarg.h>
#include <stdio.h>
*/
void ir_obst_vprintf(struct obstack *obst, const char *fmt, va_list args);
-#endif
+#ifdef WITH_LIBCORE
+#include <libcore/xprintf.h>
+#endif /* WITH_LIBCORE */
+
+#endif /* _IRPRINTF_H */