Fix compilation
This commit is contained in:
parent
039e7c0106
commit
5cf1b86f38
|
|
@ -34,7 +34,7 @@ class TermWalker(vararg visitors: TermVisitor<out Term>) {
|
|||
|
||||
class SimpleVisitor<T : Term?>(
|
||||
kind: Term.Kind,
|
||||
private inline val f: (T) -> MutableCollection<out Term>
|
||||
private val f: (T) -> MutableCollection<out Term>
|
||||
) : TermVisitor<T>(kind) {
|
||||
override fun visit(t: T) = f(t)
|
||||
}
|
||||
|
|
|
|||
Loading…
Reference in New Issue