
18 Jul
2012
18 Jul
'12
12:58 a.m.
Hi Roberto,
On Tue, Jul 17, 2012 at 11:49:17PM +0200, Roberto Bagnara wrote:
I believe I just committed a fix for this. Thanks for the report and let me know if you find any more issues.
A nice catch and well reported. I will re-run the regression tests next time I upgrade my system.
--
Edd Barrett
Programming Languages and Systems Research
University of Kent
http://www.cs.kent.ac.uk/people/rpg/eb771/