use record_unwind_protect_void, avoid warning
commitc160274456eb7bb09776b888f5274933f2ec2399
authorTom Tromey <tromey@redhat.com>
Mon, 26 Aug 2013 14:53:26 +0000 (26 08:53 -0600)
committerTom Tromey <tromey@redhat.com>
Mon, 26 Aug 2013 14:53:26 +0000 (26 08:53 -0600)
treea39d4ad11c276405de9cab165c30956c511c2527
parent2ee7755c8d35aba1d598c9baa910bd5af228f095
use record_unwind_protect_void, avoid warning
src/thread.c