
20 Aug
2008
20 Aug
'08
9:31 p.m.
On Wed, Aug 20, 2008 at 11:30 AM, Roberto Bagnara bagnara@cs.unipr.it wrote:
The first bug (including <cstring> instead of <strings.h> was unknown and is now fixed in the CVS version.
Is this wrapped in
extern "C" { }
or assumed to be C++ safe?
For the other problem, I am unable to reproduce it on any of our machines. Can I have access to a system where the problem shows up?
I am not sure about easy access to an AIX system, but I can send you preprocessed source code, if you want to examine it. Let me know to whom I should send it.
Thanks, David