[PPL-devel] Fwd: Re: Bug report and interface generation questions

[Roberto Bagnara]

-------- Original Message --------
Subject: 	Re: [PPL-devel] Bug report and interface generation questions
Date: 	Tue, 18 Dec 2012 10:30:33 +0100
From: 	lei ma <malei.2005 at gmail.com>
To: 	Roberto Bagnara <bagnara at cs.unipr.it>



Dear Roberto Bagnara
     Thank you for the quick reply.
     I have put the log file into the attachment.
     Thank you very much.
     Looking forward to your reply.
-- 


-------------- next part --------------
A non-text attachment was scrubbed...
Name: config.log
Type: application/octet-stream
Size: 205954 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20121218/c8301d3e/attachment.obj>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20121218/c8301d3e/attachment.htm>