From 6d6d6b8ed08be7363b774f8248572ef31e670963 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 17 Nov 2023 09:20:17 -0800 Subject: [PATCH] build issue Signed-off-by: Nikolaj Bjorner --- src/qe/mbp/mbp_arrays_tg.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/qe/mbp/mbp_arrays_tg.cpp b/src/qe/mbp/mbp_arrays_tg.cpp index 98224e8df..ad9194047 100644 --- 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;