updated Header
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Sun, 29 Apr 2007 19:38:58 +0000 (19:38 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Sun, 29 Apr 2007 19:38:58 +0000 (19:38 +0000)
commit32bbbd68f76d14ad7a003361644a91807290db05
tree28f017024440e5239e58475f54b3eb308474af8d
parent7273d37d3c2ba7644d7213d9ff8d68354e0b8b0a
updated Header
indentation changed

[r13545]
ir/opt/tailrec.c
ir/opt/tailrec.h