fixed a small bug in eval ehrhart