CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@cs.unipr.it 2004-09-22 17:37:17

Modified files: demos/ppl_lcdd : expected

Log message: Updated to reflect the fact that we are not sorting constraints before returning them.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/expected.diff?c...