[PPL-devel] ppl/src ppl_header.middle

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	space_dim
Changes by:	roberto at cs.unipr.it	2001-10-26 16:58:10

Added files:
	src            : ppl_header.middle 

Log message:
	Get around a bug in GCC versions prior to 3 whereby the <cassert>
	header is wrongly guarded against multiple inclusion.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl_header.middle.diff?cvsroot=ppl&only_with_tag=space_dim&r1=NONE&r2=1.1.2.1