Remove string that tripped open source alarm.#344

danielsn merged 2 commits into

model-checking:main-153-2021-07-15model-checking/kani:main-153-2021-07-15from

vecchiot-aws:open-source-scanner-fixvecchiot-aws/rmc:open-source-scanner-fixCopy head branch name to clipboard