remove code duplication
commitdc8b4ed18b390ef3c360c3d1b32442be3535d098
authorskimo <skimo>
Tue, 10 Aug 2004 11:41:22 +0000 (10 11:41 +0000)
committerskimo <skimo>
Tue, 10 Aug 2004 11:41:22 +0000 (10 11:41 +0000)
tree973c5612de8db843691e49a7a4b12b0272239de9
parentb7437f7b56e1539c68aa2e115b80a126f809c928
remove code duplication
barvinok.cc