add and use incremental counter
commit4c576900171153caf6495971867a6786cbea3ff3
authorskimo <skimo>
Wed, 17 Nov 2004 15:24:31 +0000 (17 15:24 +0000)
committerskimo <skimo>
Wed, 17 Nov 2004 15:24:31 +0000 (17 15:24 +0000)
tree3503d82068cbfcf78934f2ce50ae3019e98cb7dc
parent6427af6fd081e477767d4bc3bc9b2a7d7ebb1bbf
add and use incremental counter
barvinok.cc