From f456405978348fcfb67cc40912c34f04090b9232 Mon Sep 17 00:00:00 2001
From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Tue, 1 May 2007 22:50:25 +0000
Subject: [PATCH] [r13573]

---
 ir/ir/irdump_t.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ir/ir/irdump_t.h b/ir/ir/irdump_t.h
index d25b362d0..2d62d5c5b 100644
--- a/ir/ir/irdump_t.h
+++ b/ir/ir/irdump_t.h
@@ -106,4 +106,4 @@ int dump_node_label(FILE *F, ir_node *n);
 /** Writes vcg representation with title "PRINT_TYPEID(tp)" to file F. */
 int dump_type_node(FILE *F, ir_type *tp);
 
-#endif
+#endif /* FIRM_IR_IRDUMPT_T_H */
-- 
2.20.1