verify.c: check_EP_on_poly: drop unused variable

[barvinok.git] / tests / iscc / sum4

r := sum { [x] -> 1 };
assert((r + "") = "{ NaN }");