MPS issue job003967

Titlechain.h and locus.c have mis-matching names
Statusclosed
Prioritynice
Assigned userGareth Rees
OrganizationRavenbrook
DescriptionNormally in the MPS, the header for foo.c is named foo.h. But chain.h is the header corresponding to locus.h.
AnalysisRename chain.h to locus.h (it includes more than just generation chains).
How foundinspection
EvidenceNone
Created byGareth Rees
Created on2016-03-06 16:20:30
Last modified byGareth Rees
Last modified on2016-03-06 18:56:32
History2016-03-06 GDR Created.

Fixes

Change Effect Date User Description
189682 closed 2016-03-06 18:56:32 Gareth Rees Rename chain.h to locus.h, for consistency with other modules, where the interface has the same name as the implemention.