Fix type of thread_id to match goto-trace#2422

Merged

kroening merged 1 commit intodiffblue:developfrom

tautschnig:vs-thread-id

Jun 23, 2018

Commits on Jun 23, 2018

Fix type of thread_id to match goto-trace
tautschnig
committed