29 Jan
2002
29 Jan
'02
3:41 p.m.
CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci@cs.unipr.it 2002-01-29 15:41:55
Modified files: src : Polyhedron.cc
Log message: In function Polyhedron::remove_higher_dimensions, erased the command `size_t space_dim = space_dimension()' because it caused a problem.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot...