fix regression in memory local block axiom
MODIFY
ir/memory.cpp
ir/memory.cpp
@@ -755,7 +755,7 @@ Memory::Memory(State &state) : state(&state) {
expr::mkUInt(0, Byte::bitsByte()));
// Non-local blocks cannot initially contain pointers to local blocks.
- if (does_ptr_mem_access && num_locals > 0) {
+ if (does_ptr_mem_access) {
auto idx = Pointer(*this, "#idx", false, false).short_ptr();
#if 0
if (num_nonlocals > 0) {

fix regression in memory local block axiom