Updated header
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 1 May 2007 23:15:19 +0000 (23:15 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 1 May 2007 23:15:19 +0000 (23:15 +0000)
commit0d78d6a846ed88c044aa436e3bdf572d17a06a69
tree33e3e9ad298bd10420b8f384185efe7c49179127
parent0d470055af1b3bc6c917e6f004123e5aab47de8f
Updated header
changed indentation

[r13575]
ir/opt/opt_polymorphy.c
ir/opt/opt_polymorphy.h