Integrated: 7903715: Jextract generates duplicate allocator parameters

[Maurizio Cimadamore]

On Thu, 18 Apr 2024 10:42:31 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

> This simple fix addresses a case where jextract generates two function parameter with duplicate name `allocator`.

This pull request has now been integrated.

Changeset: 1cc982b6
Author:    Maurizio Cimadamore <mcimadamore at openjdk.org>
URL:       https://git.openjdk.org/jextract/commit/1cc982b6d4d9bfbbf8456fc86663592ee5c398c7
Stats:     75 lines in 3 files changed: 71 ins; 4 del; 0 mod

7903715: Jextract generates duplicate allocator parameters

Reviewed-by: jvernee

-------------

PR: https://git.openjdk.org/jextract/pull/238