evalue_isl.c: add_guarded_qp: drop unused variable

[barvinok.git] / tests / pwqp / hong2.pwqp

{ [y1,y2] -> 1 : exists x : 1<=x<=5 and 2*x=y1+y2 and 10>=y1,y2>=0}