From e648d197a8e4e08571d7d70914ae427f4b6d09e6 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Fri, 14 Dec 2012 19:58:07 +0000
Subject: [PATCH] fix worker_id assignment in threads

---
 C/exec.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/C/exec.c b/C/exec.c
index 0dcee50cf..e18adfacc 100644
--- a/C/exec.c
+++ b/C/exec.c
@@ -1770,6 +1770,7 @@ Yap_InitYaamRegs( int myworker_id )
 #ifdef THREADS
   LOCAL = REMOTE(myworker_id);
 #endif /* THREADS */
+  worker_id = myworker_id;
 #if COROUTINING
   REMOTE_WokenGoals(myworker_id) = Yap_NewTimedVar(TermNil);
   REMOTE_AttsMutableList(myworker_id) = Yap_NewTimedVar(h0var);