use tv_t.h instead of tv.h
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 17 Jun 2005 17:33:18 +0000 (17:33 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 17 Jun 2005 17:33:18 +0000 (17:33 +0000)
commite913e8aef06daf1f9cbc43d2002a6a859495daf6
treeb175748c8eea03b19c8a274ba68539b59c97773f
parente3bed404a4a19db7272bbc85c829744c89ee15c9
use tv_t.h instead of tv.h

[r6064]
ir/ir/irprintf.c