Kagamin:

It probably expects int[5] instead of int[], couldn't convert and reported wrong error message.

OK, I will report the diagnostic bug. But do you also see space for a (distinct) ER?

Bye,
bearophile

Reply via email to