chiark / gitweb /
Fixed bug in type definition