CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto at sandbox.cs.unipr.it 01/09/11 23:03:37 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh Log message: Polyhedro::check_empty() and Polyhedron::check_universe() were (erroneously) not const methods.