Possible bug in jextract C header definition?

[Maurizio Cimadamore]

Hi Mark - that version is quite old (we should refresh it soon), and the 
fix for __va_list is not contained in that build.

We would appreciate if you could help narrowing down the other issue you 
have reported, to make sure that that is also fixed in the latest 
sources. Could you help with that? More specifically, the errors you 
mentioned do not seem like jextract errors - what's going on?

Maurizio

On 06/08/2019 15:09, Mark Hammons wrote:
> Hi,
>
> I do apparently have the latest version (ea-70), and it's being mapped 
> to __va_list_tag instead for some reason.
>
> ~Mark
>
>