MPS issue job004107

TitleDebugging chapter is out of date
Statusopen
Prioritynice
Assigned userGareth Rees
OrganizationRavenbrook
DescriptionThe "Debugging with the Memory Pool System" chapter of the User Guide is out of date. In particular, the backtrace in section 5.3 [1] includes ProtTramp, which no longer exists, and the line numbers don't match the current revision.
AnalysisNone as yet.
How foundinspection
Evidence[1] https://www.ravenbrook.com/project/mps.../guide/debug.html#example-underscanning
Created byGareth Rees
Created on2018-09-15 20:12:30
Last modified byGareth Rees
Last modified on2018-09-15 20:12:30
History2018-09-15 GDR Created.