A new PPL 0.10 snapshot that should fix this problem
is available at
ftp://ftp.cs.unipr.it/pub/ppl/snapshots/
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 at cs.unipr.it