Skip to content
Commit 982396dd authored by Tom Stellard's avatar Tom Stellard
Browse files

Revert "Fix build rules for LLVM_WITH_Z3 after D95727" 

This reverts commit d66f9c4f.

This was a follow up fix for 43ceb74e, which
will be reverted.
parent 0116d04d
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment