use tv_t.h instead of tv.h
[libfirm] / ir / ir / irprintf.h
index d449631..a93c0bb 100644 (file)
@@ -135,17 +135,7 @@ 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);
 
 #ifdef WITH_LIBCORE
-/* use libcore */
-#define ir_printf       lc_printf
-#define ir_fprintf      lc_fprintf
-#define ir_snprintf     lc_snprintf
-#define ir_vprintf      lc_vprintf
-#define ir_vfprintf     lc_vfprintf
-#define ir_vsnprintf    lc_vsnprintf
-#define ir_obst_vprintf lc_voprintf
-
 #include <libcore/xprintf.h>
-
 #endif /* WITH_LIBCORE */
 
 #endif /* _IRPRINTF_H */