[Concerning http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=499746] This should be fixed in CVS HEAD. A new PPL 0.10 snapshot will appear in the next few days at ftp://ftp.cs.unipr.it/pub/ppl/snapshots/ Please do report all PPL bugs to ppl-devel@cs.unipr.it All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it