gen_docu: fix missing attributes, show generation time at the end

[libfirm] / ir / ana / dfs.c

diff --git a/ir/ana/dfs.c b/ir/ana/dfs.c
index 70fdf54..0548ef6 100644 (file)
--- a/ir/ana/dfs.c
+++ b/ir/ana/dfs.c
@@ -21,7 +21,6 @@
  * @file    dfs.c
  * @author  Sebastian Hack
  * @date    20.04.2007
- * @version $Id$
  * @brief
  *
  * Simple depth first search on CFGs.
@@ -33,12 +32,12 @@
 #define DISABLE_STATEV
 
 #include <assert.h>
-#include "irtools.h"
 #include "irprintf.h"
 #include "irdom.h"
 #include "set.h"
 #include "statev.h"
 #include "dfs_t.h"
+#include "util.h"
 
 static int cmp_edge(const void *a, const void *b, size_t sz)
 {