From e913e8aef06daf1f9cbc43d2002a6a859495daf6 Mon Sep 17 00:00:00 2001
From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Fri, 17 Jun 2005 17:33:18 +0000
Subject: [PATCH] use tv_t.h instead of tv.h

[r6064]
---
 ir/ir/irprintf.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ir/ir/irprintf.c b/ir/ir/irprintf.c
index 7555c4ef7..49baca2c4 100644
--- a/ir/ir/irprintf.c
+++ b/ir/ir/irprintf.c
@@ -40,7 +40,7 @@
 #include "irnode_t.h"
 #include "entity_t.h"
 #include "type_t.h"
-#include "tv.h"
+#include "tv_t.h"
 #include "irprintf.h"
 #include "obst.h"
 #include "pset.h"
-- 
2.20.1