use newly added routine
commit0790f34680db852ba60a9ea37a5470de4ee89793
authorskimo <skimo>
Fri, 30 Jul 2004 15:03:05 +0000 (30 15:03 +0000)
committerskimo <skimo>
Fri, 30 Jul 2004 15:03:05 +0000 (30 15:03 +0000)
treebd3bceca16017bebae7f3e5062a49d1f6a8394d2
parent155423026a4759de5d391dc1122c6c3ac807e0c4
use newly added routine
barvinok.cc