diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

with_mutex is always needed

Browse Source
This commit is contained in:
Vítor Santos Costa 2014-12-14 11:55:39 +00:00
parent f5ef30563b
commit 5da1be61cb
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
C/threads.c
View File

@ -1861,7 +1861,7 @@ Yap_InitFirstWorkerThreadHandle(void)
void Yap_InitThreadPreds(void)
{
Yap_InitCPred("$with_mutex", 2, p_with_mutex, MetaPredFlag);
Yap_InitCPred("with_mutex", 2, p_with_mutex, MetaPredFlag);
Yap_InitCPred("mutex_create", 1, p_new_mutex, SafePredFlag);
Yap_InitCPred("$max_workers", 1, p_max_workers, 0);
Yap_InitCPred("$thread_self", 1, p_thread_self, SafePredFlag);