Skip to content

CAS -> CmpXchg in HeapLang tactic docs

Apparently docs weren't updated when this was renamed.

Merge request reports