verify.c: check_EP_on_poly: drop unused variable

[barvinok.git] / tests / decomposition13

D 1
6 5
1   6   1  -6  -6
1   0  -1   0   5
1   0   0   1   0
1  -1   0   1   1
1  -6  -1   5  11
1   0   0  -1   1

F 0
11