Use the correct allocator for deleting objects in case of duplicate animation Ids

This commit is contained in:
Florian Born
2023-11-02 16:18:29 +01:00
committed by Kim Kulling
parent 069e19487c
commit 6004290dde

View File

@@ -390,7 +390,7 @@ void Document::ReadObjects() {
const auto foundObject = objects.find(id);
if(foundObject != objects.end()) {
DOMWarning("encountered duplicate object id, ignoring first occurrence",el.second);
delete foundObject->second;
delete_LazyObject(foundObject->second);
}
objects[id] = new_LazyObject(id, *el.second, *this);