/*
- * Copyright (C) 1995-2007 University of Karlsruhe. All right reserved.
+ * Copyright (C) 1995-2008 University of Karlsruhe. All right reserved.
*
* This file is part of libFirm.
*
#else
#include <stdio.h>
-#include "timing.h"
+#include "stat_timing.h"
extern void stat_ev_printf(char ev_type, const char *key, const char *fmt, ...);