#ifndef _IRPRINTF_H
#define _IRPRINTF_H
+#include "firm_config.h"
+
#include <stddef.h>
#include <stdarg.h>
#include <stdio.h>
* This function rudimentarily implements a kind of printf(3) for ir
* nodes. Following conversion specifiers. No length, special or field
* width specifiers are accepted.
+ * - @%> Print as many white spaces as given in the parameter.
* - @%p A pointer.
* - @%s A string.
* - @%I An ident.
*/
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 */