Re: [PPL-devel] Problem in ppl_lpsol.c