[PPL-devel] Polyhedra/src Constraint.defs.hh Generator.def ...

[Elisa Ricci]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	ericci at sandbox.cs.unipr.it	01/09/13 17:33:10

Modified files:
	src            : Constraint.defs.hh Generator.defs.hh 
	                 Polyhedron.cc 

Log message:
	Two FIXME are dead.