Integrated: Fix compilation failure after #229

Mon Apr 8 12:11:12 UTC 2024

On Sun, 7 Apr 2024 20:59:16 GMT, Jorn Vernee <jvernee at openjdk.org> wrote:

> Changes in https://github.com/openjdk/jextract/pull/229 result in a compilation failure.
> 
> A cast that looks redundant was removed, but is actually needed for the code to compile.

This pull request has now been integrated.

Changeset: d700185f
Author:    Jorn Vernee <jvernee at openjdk.org>
URL:       https://git.openjdk.org/jextract/commit/d700185f7b7a11a32b08ec08cc83dae144c41508
Stats:     1 line in 1 file changed: 0 ins; 0 del; 1 mod

Fix compilation failure after #229

Reviewed-by: nlisker, mcimadamore

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

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