[fix]

UnitTestBot · Oct 12, 2023 · bb3ae72 · bb3ae72
1 parent 4db4b6e
commit bb3ae72
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/lib/Core/Memory.cpp b/lib/Core/Memory.cpp
@@ -126,9 +126,6 @@ const UpdateList &ObjectState::getUpdates() const {
     auto array = getArrayCache()->CreateArray(size,
                                               SourceBuilder::constant(values));
     updates = UpdateList(array, updates.head);
-    knownSymbolics.reset();
-    concreteKnownSymbolics = 0;
-    unflushedMask.reset();
   }
 
   assert(updates.root);