Fix to allow cross-compiling Arm->Intel on macOS.#264

davexparker merged 1 commit intoprismmodelchecker:masterprismmodelchecker/prism:masterfrom

davexparker:fix-mac-cross-compiledavexparker/prism:fix-mac-cross-compileCopy head branch name to clipboard