sys-devel/clang: Update z3 option name
authorMichał Górny <mgorny@gentoo.org>
Wed, 9 Jan 2019 19:32:48 +0000 (20:32 +0100)
committerMichał Górny <mgorny@gentoo.org>
Wed, 9 Jan 2019 20:30:46 +0000 (21:30 +0100)
commit0b2dd924196f59d5f05373320a5f753190a533c1
tree7ea78e9a98af79776b1e44e9cd1bd269864b01a1
parentd0fee11357ffe0565595fdc1822fe8556dbf730e
sys-devel/clang: Update z3 option name

Signed-off-by: Michał Górny <mgorny@gentoo.org>
sys-devel/clang/clang-9999.ebuild