diff --git a/ACSLTermOrPredicate.cpp b/ACSLTermOrPredicate.cpp
index 0ae02b14663dafe5b956b2a2524add9105d3e2fe..1ebb79e046a4842acb231ce2f5bb14f921ccf914 100644
--- a/ACSLTermOrPredicate.cpp
+++ b/ACSLTermOrPredicate.cpp
@@ -5920,7 +5920,7 @@ public:
           iter = _updates.begin(); iter != endUpdates; ++iter) {
         if (iter->first) free_term_offset(iter->first);
         if (iter->second) free_logic_type(iter->second);
-        memset(&*iter, 0, sizeof(std::pair<term_offset, logic_type>));
+        iter->first = NULL; iter->second = NULL;
       };
       _updates.clear();
     }