Void is the Java class associated with void operations just as Integer is
associated with int. Unfortunately Java doesn't autobox void, so I have to
actually declare this parameter, even though it really just means "no
parameter here". so I named the variable _ to indicate that it's an unused
field. How do you want me to proceed here? I don't have a strong
preference.
On Apr 11, 2014 3:34 PM, "mdmkolbe" <notifications@github.com> wrote:

> In src/javasources/KTool/src/org/kframework/kil/Term.java:
>
> >              @Override
> > -            public void visit(Variable node) {
> > +            public Void visit(Variable node, Void _) {
>
> What does "Void _" mean in this context? (Is that Java 7 or something new
> in Java 8?)
>
> --
> Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/364/files#r11550661>
> .
>