Fix IntelliJ IDEA complaint on type mismatch

inkytonik / kiama

A Scala library for language processing.

Mozilla Public License 2.0

47 stars 15 forks source link

Closed aleksandr-vin closed 3 years ago

aleksandr-vin commented 3 years ago

Closes #6

inkytonik commented 3 years ago

Thanks very much for this contribution. It seems strange that it is needed, but it seems fine to make the change to keep IDEA happy.