On Sat, Nov 26, 2022 at 9:41 AM Zopolis0 <creatorsmith...@gmail.com> wrote:
>
> > What happens if you remove end_params_node from the Java front-end and
> > replace it with void_list_node?
>
> Sadly, nothing.

But that looks like the correct thing to do.

Reply via email to