remove GLOBAL_executing_workers

2014-02-13 10:13:45 +00:00
parent 2c24fb7a83
commit bb061f9db8
8 changed files with 28 additions and 54 deletions
--- a/OPTYap/or.copy_engine.c
+++ b/OPTYap/or.copy_engine.c
@@ -353,6 +353,7 @@ sync_with_p:
 #endif /* incremental */

  /* update registers and return */
+  PUT_OUT_ROOT_NODE(worker_id);
 #ifndef TABLING
  REMOTE_reply_signal(worker_p) = worker_ready;
 #endif /* TABLING */