[PPL-devel] ppl/interfaces/Prolog/SICStus clpq.pl

Mon Nov 12 22:33:22 CET 2001

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at cs.unipr.it	2001-11-12 22:33:22

Modified files:
	interfaces/Prolog/SICStus: clpq.pl 

Log message:
	Fixed a bug whereby original_goal_variables/1 was not retracted in some
	cases.  Multiple clauses for original_goal_variables/1 were causing
	the use of already discarded polyhedra.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/clpq.pl.diff?cvsroot=ppl&r1=1.20&r2=1.21