From 75f1ff9ca246049d81d5a39f584dbdf7b24de556 Mon Sep 17 00:00:00 2001
From: Matthias Braun <matze@braunis.de>
Date: Wed, 13 Feb 2008 18:10:41 +0000
Subject: [PATCH] don't mention LIBCORE in public headers

[r17699]
---
 include/libfirm/be.h       | 5 +----
 include/libfirm/irprintf.h | 4 ----
 2 files changed, 1 insertion(+), 8 deletions(-)

diff --git a/include/libfirm/be.h b/include/libfirm/be.h
index 032130eb2..42b5ac89d 100644
--- a/include/libfirm/be.h
+++ b/include/libfirm/be.h
@@ -26,14 +26,11 @@
 #ifndef FIRM_BE_MAIN_H
 #define FIRM_BE_MAIN_H
 
+#include <stdio.h>
 #include "irarch.h"
 #include "archop.h"
 #include "lowering.h"
 
-#include <libcore/lc_timing.h>
-
-#define LC_STOP_AND_RESET_TIMER(timer) do { lc_timer_stop(timer); lc_timer_reset(timer); } while(0)
-
 /**
  * This structure contains parameters that should be
  * propagated to the libFirm parameter set.
diff --git a/include/libfirm/irprintf.h b/include/libfirm/irprintf.h
index e00ccc218..cfb868fd1 100644
--- a/include/libfirm/irprintf.h
+++ b/include/libfirm/irprintf.h
@@ -150,8 +150,4 @@ 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
-#include <libcore/lc_printf.h>
-#endif /* WITH_LIBCORE */
-
 #endif
-- 
2.20.1