[PPL-devel] narrowing and Java bindings

[Gianluca Amato]

On 02/13/2012 05:46 PM, Roberto Bagnara wrote:
>
> Hi Gianluca.
>
> A PPL snapshot correcting the problem you noticed (plus a number
> of other minor issues) is available at
>
> http://bugseng.com/products/ppl/download/ftp/snapshots/
>

I downloaded the git repository as soon as I saw Pat's mail announcing 
the fix :-)

It works!

Thanks for the fast response!

Cheers,

--gianluca