John Baldwin e0a40f3045 Mark the unused argument to continue_thread() as such.
clang in HEAD and 11 does not warn about this, but clang in 10 does.
2018-01-24 17:46:20 +00:00
..
2017-10-31 00:07:04 +00:00
2017-10-31 00:07:04 +00:00