From 49ebca6c1c2d3296b095a0924eb7db1a1acfa453 Mon Sep 17 00:00:00 2001 From: Naxaes Date: Sat, 1 Oct 2022 15:01:36 +0200 Subject: [PATCH] Fix clang build (#6378) --- src/sat/smt/euf_proof_checker.cpp | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/sat/smt/euf_proof_checker.cpp b/src/sat/smt/euf_proof_checker.cpp index daa775b16..158b850a5 100644 --- a/src/sat/smt/euf_proof_checker.cpp +++ b/src/sat/smt/euf_proof_checker.cpp @@ -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)