Undefined type in extensions spec

9.16.1 in the CL 1.2 extensions spec defines

CL_DEVICE_TERMINATE_CAPABILITY_KHR

to be of type

cl_device_terminate_capability_khr

This type is not defined anywhere.