removed unneeded header
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 2 Dec 2004 16:12:29 +0000 (16:12 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 2 Dec 2004 16:12:29 +0000 (16:12 +0000)
commit124500aadea2303125a26d409a7bcd6baaf1d75c
tree0d7321232c102e3bf5cf484415ba1cbf99711898
parent1c9cd715a322e2700d770c178aa50d426f539e03
removed unneeded header

[r4549]
ir/adt/obst.h