On 04/15/2014 12:21 PM, Paolo Carlini wrote:
a lot of time ago I noticed that these parameters are unused: should I prepare a ChangeLog for the below or we have stylistic, etc, reasons for keeping the parameters?
I'd leave them alone, we might want to print something sometime.
PS: I also see many int return types in the various unify* which could as well be bool. Opinions about that?
Doesn't seem worth bothering to change. Jason
