CVSROOT: /cvs/alv Module name: composite Changes by: roberto@spartacus.cs.unipr.it 03/01/08 11:28:29

Modified files: obj-linux : Makefile

Log message: Use Polyhedron::check_universe().