[PPL-devel] ppl/src Result.defs.hh

[Abramo Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	abramo at cs.unipr.it	2004-12-31 23:36:10

Modified files:
	src            : Result.defs.hh 

Log message:
	Added V_INF_DIV_INF.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Result.defs.hh.diff?cvsroot=ppl&r1=1.5&r2=1.6