mirror of
https://github.com/nasa/trick.git
synced 2025-04-16 07:26:48 +00:00
Authored-by: John M. Penn <john.m.penn@nasa.gov>
This commit is contained in:
parent
36416c1973
commit
5bf349bb1f
@ -307,7 +307,7 @@ void Trick::MemoryManager::reset_memory() {
|
||||
|
||||
n_addrs = deletion_list.size();
|
||||
for (ii = 0 ; ii < n_addrs ; ii ++) {
|
||||
delete_var( deletion_list[ii], false);
|
||||
delete_var( deletion_list[ii], true);
|
||||
}
|
||||
|
||||
// reset counter to 100mil. This (hopefully) ensures all alloc'ed ids are after external variables.
|
||||
|
Loading…
x
Reference in New Issue
Block a user