[PPL-devel] ppl/src Makefile.am

[Roberto Bagnara]

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

Modified files:
	src            : Makefile.am 

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/Makefile.am.diff?cvsroot=ppl&only_with_tag=space_dim&r1=1.12&r2=1.12.2.1