chiark / gitweb /
src/types.c: Use the new `checklabel' machinery for PTR queries.