Remove double dash from brew bottled archives#227

feliperodri merged 1 commit intomodel-checking:mastermodel-checking/cbmc-starter-kit:masterfrom

tautschnig:fix-brew-file-nametautschnig/aws-templates-for-cbmc-proofs:fix-brew-file-nameCopy head branch name to clipboard