[PATCH] D54535: cmake: z3: Remove EXACT from 4.7.1 after being compatible with 4.8.1

This revision was not accepted when it landed; it landed in state "Needs Review". This revision was automatically updated to reflect the committed changes. Closed by commit rC347152: cmake: z3: Remove EXACT from 4.7.1 after being compatible with 4.8.1 (authored by jankratochvil, committed by ).

[PATCH] D54535: cmake: z3: Remove EXACT from 4.7.1 after being compatible with 4.8.1

jankratochvil created this revision. jankratochvil added a reviewer: mikhail.ramalho. jankratochvil added a project: clang. Herald added subscribers: cfe-commits, mgorny. D54391 comment by @mikhail.ramalho says: > Since we're supporting version 4.8.1 now