ExternalVendorCode/trick
1
0
Fork 0
mirror of https://github.com/nasa/trick.git synced 2025-04-07 19:34:23 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #596 from nasa/Issue595

Browse Source 
Issue595 #595
This commit is contained in:
Scott Fennell 2018-04-10 16:18:47 -05:00 committed by GitHub
commit 333a5d75ef
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
trick_source/sim_services/MemoryManager/MemoryManager_delete_var.cpp
View File

@ -9,9 +9,11 @@
int Trick::MemoryManager::delete_var(void* address, bool destroy ) {
if (address == 0) {
std::stringstream message;
message << "Cannot delete memory at NULL.";
emitError(message.str());
if (debug_level) {
std::stringstream message;
message << "Cannot delete memory at NULL.";
emitWarning(message.str());
}
return 1;
}