X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=03d7ba33b4646f48ed9e5a288ddf66be256c0470;hb=a6ce579c6437ebead8fee2c8df1530d223591318;hp=55949730f5c2a00428618dd8cfbe8bf65c96747f;hpb=a22d12cff31e5309eb0033324d3dd0258de53cb5;p=model-checker.git

diff --git a/model.cc b/model.cc
index 5594973..03d7ba3 100644
--- a/model.cc
+++ b/model.cc
@@ -436,7 +436,7 @@ void ModelChecker::run()
 {
 	do {
 		thrd_t user_thread;
-		Thread *t = new Thread(&user_thread, &user_main_wrapper, NULL, NULL);
+		Thread *t = new Thread(execution->get_next_id(), &user_thread, &user_main_wrapper, NULL, NULL);
 		execution->add_thread(t);
 
 		do {