change lattice_point slightly (used in previous patch)
commitc1e58cfe7209ca6a57595349a291aaea20ce3537
authorskimo <skimo>
Sat, 18 Sep 2004 19:03:36 +0000 (18 19:03 +0000)
committerskimo <skimo>
Sat, 18 Sep 2004 19:03:36 +0000 (18 19:03 +0000)
tree21a4d8ee8387b176af5faad2588db65306c9055e
parentfcacb26e6339c190df09282dea80e87bf09c389c
change lattice_point slightly (used in previous patch)
barvinok.cc