Bug#749161: Conflicting function definitions

[Markus Koschany]

On 24.05.2014 18:52, Michael Tautschnig wrote:
> Hi Markus,
> 
> [...]
>> Is there an easy way to reproduce this issue within a cowbuilder
>> environment, perhaps a step-by-step guide to use your cbmc package? I
>> just want to make sure that the patch actually works before I forward it
>> upstream.
>>
> 
> I did give a brief guide here:
> 
> https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=747585#15
> 
> But please do not hesitate to send the patch to myself, I'll be more than happy
> to re-run the build with the patch to confirm it fixes the issue.

Hi Michael,

I have changed the type from void to int. I hope this addresses the
issue properly.

The patch is attached.

Regards,

Markus
-------------- next part --------------
A non-text attachment was scrubbed...
Name: conflicting-function-declarations.patch
Type: text/x-diff
Size: 604 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/pkg-games-devel/attachments/20140525/29058a10/attachment.patch>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 949 bytes
Desc: OpenPGP digital signature
URL: <http://lists.alioth.debian.org/pipermail/pkg-games-devel/attachments/20140525/29058a10/attachment.sig>