[PPL-devel] ppl/src Matrix.cc

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	lazy
Changes by:	roberto at cs.unipr.it	2002-11-25 15:44:46

Modified files:
	src            : Matrix.cc 

Log message:
	Fixed a bug in Matrix::grow() whereby, depending on the relations between
	the new rows' size and the old row's capacity, index_first_pending
	could erroneously be set to zero.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=ppl&only_with_tag=lazy&r1=1.44.2.5&r2=1.44.2.6