use tv_t.h instead of tv.h

[libfirm] / ir / ir / irprintf.h

diff --git a/ir/ir/irprintf.h b/ir/ir/irprintf.h
index fd2b509..a93c0bb 100644 (file)
--- a/ir/ir/irprintf.h
+++ b/ir/ir/irprintf.h
@@ -20,6 +20,8 @@
 #ifndef _IRPRINTF_H
 #define _IRPRINTF_H
 
+#include "firm_config.h"
+
 #include <stddef.h>
 #include <stdarg.h>
 #include <stdio.h>
@@ -132,4 +134,8 @@ void ir_vsnprintf(char *buf, size_t len, const char *fmt, va_list args);
  */
 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 */