CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2004-04-25 11:14:11

Modified files: interfaces/Prolog: ppl_prolog.icc pl_check.pl

Log message: Bug in an interface predicate (ppl_Polyhedron_relation_with_constraints) that only caused an error with the XSB interface now fixed. pl_check revised to avoid warning messages with XSB compiler.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.i... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl....