mirror of
https://github.com/nasa/trick.git
synced 2025-01-31 16:35:31 +00:00
Revert "In MemoryManager_clear_memory.cpp call delete_var with destroy flag==true. #1301 (#1324)" (#1325)
This reverts commit 5bf349bb1f6e042d8a9f1a54cb88ca587b92b8f3.
This commit is contained in:
parent
5bf349bb1f
commit
be5f170b90
@ -307,7 +307,7 @@ void Trick::MemoryManager::reset_memory() {
|
|||||||
|
|
||||||
n_addrs = deletion_list.size();
|
n_addrs = deletion_list.size();
|
||||||
for (ii = 0 ; ii < n_addrs ; ii ++) {
|
for (ii = 0 ; ii < n_addrs ; ii ++) {
|
||||||
delete_var( deletion_list[ii], true);
|
delete_var( deletion_list[ii], false);
|
||||||
}
|
}
|
||||||
|
|
||||||
// reset counter to 100mil. This (hopefully) ensures all alloc'ed ids are after external variables.
|
// reset counter to 100mil. This (hopefully) ensures all alloc'ed ids are after external variables.
|
||||||
|
Loading…
x
Reference in New Issue
Block a user