CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino@cs.unipr.it 2006-09-26 19:07:11

Modified files: demos/ppl_lpsol: ppl_lpsol.c

Log message: Fixed a bug in `maybe_check_results': no_optimization flag was not properly handled.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.di...