10 Oct
2006
10 Oct
'06
7:10 p.m.
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...