CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci at sandbox.cs.unipr.it 01/10/01 16:49:44 Modified files: src : Polyhedron.cc Log message: Commented the function limited_widening_assign(...). Added a comment to check_universe().