* Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE.
*/
+#ifdef HAVE_CONFIG_H
+#include "config.h"
+#endif
+
#include "irouts.h"
#include "irgwalk.h"
#include "irnode_t.h"
/**********************************************************************/
-/** Accessing the dominator datastructures **/
+/** Accessing the dominator data structures **/
/**********************************************************************/
ir_node *get_Block_idom(ir_node *bl) {