From 2572506efd4a3833e44761fc796d0b7d01ca475a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 1 Apr 2020 11:34:34 -0700 Subject: [PATCH] mitigate #3657 Signed-off-by: Nikolaj Bjorner --- src/tactic/ufbv/quasi_macros_tactic.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tactic/ufbv/quasi_macros_tactic.cpp b/src/tactic/ufbv/quasi_macros_tactic.cpp index 90c307d8c..812e6797d 100644 --- a/src/tactic/ufbv/quasi_macros_tactic.cpp +++ b/src/tactic/ufbv/quasi_macros_tactic.cpp @@ -75,7 +75,7 @@ class quasi_macros_tactic : public tactic { for (unsigned i = 0; i < new_forms.size(); i++) g->assert_expr(forms.get(i), produce_proofs ? proofs.get(i) : nullptr, - produce_unsat_cores ? deps.get(i) : nullptr); + produce_unsat_cores ? deps.get(i, nullptr) : nullptr); generic_model_converter * evmc = alloc(generic_model_converter, mm.get_manager(), "quasi_macros"); unsigned num = mm.get_num_macros();