CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2008-03-10 07:51:18

Modified files: src : Octagonal_Shape.inlines.hh

Log message: Corrected a couple of comments. When building from a congruence system, for a non-zero dimension universe octagon, first set the stongly closed flag (as is already done for building from other systems).

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.hh...