[PPL-devel] Polyhedra/src Row.defs.hh BitSet/BitSet.defs.hh

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/10/08 17:35:43

Modified files:
	src            : Row.defs.hh 
	src/BitSet     : BitSet.defs.hh 

Log message:
	Support flexible arrays both for the old and the new versions of gcc.