BugFix: rbitset_alloca() cannot be implemented as a function.
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 26 Apr 2007 23:07:09 +0000 (23:07 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 26 Apr 2007 23:07:09 +0000 (23:07 +0000)
commitdc49117e087bff9c64fdce902c0d0a9974df9393
tree9aa3cb7f5af797af9697720d67fc72805cc6bed5
parent9552e66ebb80b05ef63cadba5ed73872bdb618c7
BugFix: rbitset_alloca() cannot be implemented as a function.
More doxygen comments added.

[r13500]
ir/adt/raw_bitset.h