From f98b42ae4214c915cfec6260df549a66600b25eb Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 4 Dec 2023 10:33:29 -0800 Subject: [PATCH] install importlib-resources for ubuntu doc Signed-off-by: Nikolaj Bjorner --- src/sat/smt/array_axioms.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/sat/smt/array_axioms.cpp b/src/sat/smt/array_axioms.cpp index 0b1b55f07..6a08cf76e 100644 --- a/src/sat/smt/array_axioms.cpp +++ b/src/sat/smt/array_axioms.cpp @@ -443,7 +443,8 @@ namespace array { sel2 = a.mk_select(args2); return ctx.propagate(e_internalize(sel1), ndef1, array_axiom()) || - ctx.propagate(e_internalize(sel2), ndef2, array_axiom()); + ctx.propagate(e_internalize(sel2), ndef2, array_axiom()) || + prop; } // default(A) == default(B) if (ctx.propagate(ndef1, ndef2, array_axiom()))