Diff splint-3.1.2-r2 with a splint-3.1.2-r3

Thank you!