fixed indent
authorChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Fri, 18 Aug 2006 12:58:33 +0000 (12:58 +0000)
committerChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Fri, 18 Aug 2006 12:58:33 +0000 (12:58 +0000)
commit92f85c7b291d14c2fefa6719f4845219edaa7539
tree63aeb9206b47829f3fec1e45ce5e7bc5bb405fbd
parent81d146ecea7e0f3bceb7949fa91af98be2884a8c
fixed indent
ir/be/beuses_t.h