mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 10:25:18 +00:00
Code Activity

Fix clang build (#6378)

Browse source
This commit is contained in:
Naxaes 2022-10-01 15:01:36 +02:00 committed by GitHub
parent 47e44c5538
commit 49ebca6c1c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/sat/smt/euf_proof_checker.cpp
View file

@ -243,7 +243,10 @@ namespace euf {
expr_ref_vector clause(app* jst) override {
expr_ref_vector result(m);
auto [pivot, proof1, proof2] = jst->args3();
auto x = jst->args3();
auto pivot = std::get<0>(x);
auto proof1 = std::get<1>(x);
auto proof2 = std::get<2>(x);
expr* narg;
auto is_pivot = [&](expr* arg) {
if (arg == pivot)