diff --git a/CHANGELOG.md b/CHANGELOG.md index 58ea922ebbcd33b02f3567b1f39378c649d50500..768bf1001e50a7477a00ab99bf54d5930eb9619c 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -65,7 +65,7 @@ Coq 8.11 is no longer supported in this version of Iris. **Changes in `heap_lang`:** * Rename `Build_loc` constructor for `loc` type to `Loc`. -* Add atomic `Xchg` ("exchange"/"swap") operation. (by Simon Hudon, Google) +* Add atomic `Xchg` ("exchange"/"swap") operation. (by Simon Hudon, Google LLC) The following `sed` script helps adjust your code to the renaming (on macOS, replace `sed` by `gsed`, installed via e.g. `brew install gnu-sed`).