CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri@cs.unipr.it 2006-09-22 12:57:38 Modified files: src : Octagonal_Shape.inlines.hh Log message: Removed a redundant assertion 'assert(OK())' in the constructor inline Octagonal_Shape<T>::Octagonal_Shape(const Constraint_System& cs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.hh...