#include "irgmod.h"
#include "irgopt.h"
#include "trouts.h"
-#include "irvrfy.h"
+#include "irverify.h"
#include "pmap.h"
#include "array_t.h"
#include "irpass_t.h"
set_trouts_inconsistent();
/* verify here */
- irg_verify(irg, VRFY_NORMAL);
+ irg_verify(irg, VERIFY_NORMAL);
/* Optimize it, tuple might be created. */
optimize_graph_df(irg);