From a9f9d3ddf4180ab8a9c6c353b64656d6eacbfd71 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 17 Nov 2023 10:15:01 -0800
Subject: [PATCH] build fixes
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
src/qe/mbp/mbp_arrays_tg.cpp | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/qe/mbp/mbp_arrays_tg.cpp b/src/qe/mbp/mbp_arrays_tg.cpp
index 4df5d2385..c3d91ae64 100644
--- a/src/qe/mbp/mbp_arrays_tg.cpp
+++ b/src/qe/mbp/mbp_arrays_tg.cpp
@@ -109,7 +109,7 @@ struct mbp_array_tg::impl {
bool is_rd_wr(expr *t) {
expr* a, *idx;
return m_array_util.is_select1(t, a, idx) &&
- m_array_util.is_store(a) &
+ m_array_util.is_store(a) &&
has_stores(a);
}
@@ -208,7 +208,7 @@ struct mbp_array_tg::impl {
if (in) {
SASSERT(m_mdl.are_equal(j, eq_index));
peq p_new =
- mk_wr_peq(to_app(a, p.rhs(), indices);
+ mk_wr_peq(a, p.rhs(), indices);
m_tg.add_eq(j, eq_index);
expr_ref p_new_expr(m);
p_new_expr = is_neg ? m.mk_not(p_new.mk_peq()) : p_new.mk_peq();