add more information to record(# warning

This commit is contained in:
Michael Davidsaver authored and Andrew Johnson committed 2024-08-21 09:48:23 -05:00
1 parent 3a5c9ab0cd
commit fd072e4429
1 file changed
+3 -1
@@ -1127,7 +1127,9 @@ static void dbRecordHead(char *recordType, char *name, int visible)
dbFreeEntry(pdbentry);
duplicate = TRUE;
} else {
fprintf(stderr, ERL_WARNING ": Record \"%s\" not found\n", name);
fprintf(stderr, ERL_WARNING ": Unable to delete record \"%s\". Not found.\n"
" at file %s line %d\n",
name, pinputFileNow->filename, pinputFileNow->line_num);
}
return;
}