From 4f03afc2cab7aacd8ddbd3cd913ee5ce224c3ee2 Mon Sep 17 00:00:00 2001
From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Fri, 13 May 2005 14:55:17 +0000
Subject: [PATCH] added missing include

[r5841]
---
 ir/ir/irvrfy_t.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ir/ir/irvrfy_t.h b/ir/ir/irvrfy_t.h
index 292e90e2d..6025cfea8 100644
--- a/ir/ir/irvrfy_t.h
+++ b/ir/ir/irvrfy_t.h
@@ -13,6 +13,7 @@
 #define _IRVRFY_T_H_
 
 #include "irvrfy.h"
+#include "irdump.h"
 
 extern node_verification_t opt_do_node_verification;
 extern const char *firm_vrfy_failure_msg;
-- 
2.20.1