CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto@sandbox.cs.unipr.it 01/09/14 18:03:48 Modified files: test : bug1.cc Log message: Make sure x and y are both OK() before calling x.convex_hull_assign(y).