26 Sep
2006
26 Sep
'06
7:07 p.m.
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...