[PPL-devel] Polyhedra/src Polyhedron.cc

[Elisa Ricci]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	ericci at sandbox.cs.unipr.it	01/06/12 12:28:11

Modified files:
	src            : Polyhedron.cc 

Log message:
	Little changes in Polyhedron::OK() in the part of generator_are_minimize:
	we must normalize before checking if the two matrices are equal.
	The part added is preceded by
	#ifndef LASA.