Fix bug where an item was not added to the delta view of the sharing map#4663

danpoe merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

danpoe:fixes/get-delta-viewdanpoe/cbmc:fixes/get-delta-viewCopy head branch name to clipboard