From 111d27cbee66c2a24c590a50209591bb9323fb5f Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 19 Jul 2022 09:36:08 -0700 Subject: [PATCH] remove dependency on pragma Signed-off-by: Nikolaj Bjorner --- src/util/parray.h | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/src/util/parray.h b/src/util/parray.h index f8f2d7e54..bc3c4adbe 100644 --- a/src/util/parray.h +++ b/src/util/parray.h @@ -310,17 +310,15 @@ public: } void check_size(cell* c) const { - [[maybe_unused]] unsigned r; while (c) { switch (c->kind()) { case SET: break; case PUSH_BACK: - r = size(c->next()); + // ? SASSERT(c->idx() == size(c->next())); break; case POP_BACK: - r = size(c->next()); - SASSERT(c->idx() == r); + SASSERT(c->idx() == size(c->next())); break; case ROOT: return;