CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2006-10-10 19:10:56

Modified files: src : Congruence.defs.hh Congruence.inlines.hh

Log message: Removed operator building a Congruence object from a Coefficient and a Linear_Expression (in that order) as it was clashing with a template member of class Checked_Number.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.inlines.hh.diff...