build issue

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Nov 17, 2023 · 6d6d6b8 · 6d6d6b8
1 parent f94a475
commit 6d6d6b8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/qe/mbp/mbp_arrays_tg.cpp b/src/qe/mbp/mbp_arrays_tg.cpp
@@ -296,7 +296,7 @@ struct mbp_array_tg::impl {
                 e = mk_wr_peq(to_app(nt)->get_arg(0),
                               to_app(nt)->get_arg(1))
                         .mk_peq();
-                e = is_not ? m.mk_not(e) : e;
+                e = is_not ? m.mk_not(e) : e.get();
                 m_tg.add_lit(e);
                 m_tg.add_eq(term, e);
                 continue;