Skip to content

Commit

Permalink
In MemoryManager_clear_memory.cpp call delete_var with destroy flag==…
Browse files Browse the repository at this point in the history
…true. #1301
  • Loading branch information
jmpenn committed Jul 8, 2022
1 parent c988052 commit d158f5e
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down

0 comments on commit d158f5e

Please sign in to comment.