437ca1f134
Z3 has supported optimization features since the 4.4.x release, so this can be
removed.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
(cherry picked from commit
|
||
|---|---|---|
| .. | ||
| cmake-fix.patch | ||
| default.nix | ||