chiark / gitweb /
An internal error message in printrule is improved slightly.