optionally print "size" of enumeration
commit8f5e3615f8dc462226f9eda2e7340f43192cdcbb
authorskimo <skimo>
Mon, 21 Jun 2004 13:14:53 +0000 (21 13:14 +0000)
committerskimo <skimo>
Mon, 21 Jun 2004 13:14:53 +0000 (21 13:14 +0000)
tree3d01849485c5a0e0bc65ea31638f4d48f575be99
parent6c5a59c41e7c173325052f64a66b098029a3f0c3
optionally print "size" of enumeration
barvinok_enumerate.c