* @file firm_timing.c -- timing for the Firm compiler
*
* (C) 2006-2009 Michael Beck beck@ipd.info.uni-karlsruhe.de
- *
- * $Id$
*/
#include "firm_timing.h"
ir_timer_t *timer;
} timer_info_t;
-timer_info_t *infos;
-timer_info_t *last_info;
+static timer_info_t *infos;
+static timer_info_t *last_info;
void timer_register(ir_timer_t *timer, const char *description)
{