Replace free() with xfree().
This commit is contained in:
parent
6fa957a9b9
commit
b8c9b27d1e
128 changed files with 545 additions and 532 deletions
|
@ -379,7 +379,7 @@ restore_inferior_pid (void *arg)
|
|||
{
|
||||
int *saved_pid_ptr = arg;
|
||||
inferior_pid = *saved_pid_ptr;
|
||||
free (arg);
|
||||
xfree (arg);
|
||||
}
|
||||
|
||||
/* Register a cleanup to restore the value of inferior_pid. */
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue