small memory leak
commita8d1ac0e2a34130b962e6c14db7d92b08047d1b1
authorskimo <skimo>
Sun, 29 Aug 2004 15:17:48 +0000 (29 15:17 +0000)
committerskimo <skimo>
Sun, 29 Aug 2004 15:17:48 +0000 (29 15:17 +0000)
treeebd4d9c38e18c4cd8a3de3196d4192ad82131d1f
parent190beb4c4fd3c078b6b411c409144463663a0d07
small memory leak
barvinok.cc