verify.c: check_EP_on_poly: drop unused variable
[barvinok.git] / tests / iscc / sum4
blob06c582b95d6f08c21acbdc48e6bcfdc503698bb5
1 r := sum { [x] -> 1 };
2 assert((r + "") = "{ NaN }");