Typo in ch. 13.3?
larsr opened this issue · comments
In the code and on p. 78, commutes(_,_) is defined to take two arguments: an atomic action and a summary.
But on p. 79 (the first line) commutes(c_0, c_1) is called with two atomic actions.
Should the second argument instead be the summary s (as in the proof of commutes_sound)?
Yeah, that was a mistake, which is fixed now. Thanks for the report.