Use delete instead of xfree for gdb_timer
authorSimon Marchi <simon.marchi@ericsson.com>
Fri, 2 Jun 2017 21:24:21 +0000 (23:24 +0200)
committerSimon Marchi <simon.marchi@ericsson.com>
Fri, 2 Jun 2017 21:24:21 +0000 (23:24 +0200)
commit0e05cf3a61e1996829359e1c32eedb6820930331
tree293c8b0eeaecae5461e15839a16262b69d366064
parentc1fc2657206188767cb66813d07b9ecbb5e9ec51
Use delete instead of xfree for gdb_timer

gdb_timer objects are new'ed in create_timer, but xfree'd in
poll_timers.  Use delete instead.

gdb/ChangeLog:

* event-loop.c (poll_timers): Unallocate timer using delete
instead of xfree.
gdb/ChangeLog
gdb/event-loop.c