typo.
This commit is contained in:
parent
53a8a8f7c9
commit
4a2d6b9137
@ -1079,7 +1079,7 @@ with_mutex(M, G) :-
|
|||||||
( recorded('$mutex_alias',[Id|M],_) ->
|
( recorded('$mutex_alias',[Id|M],_) ->
|
||||||
'$with_mutex'(Id, G )
|
'$with_mutex'(Id, G )
|
||||||
;
|
;
|
||||||
'$atom'(M ) ->
|
atom(M ) ->
|
||||||
mutex_create(Id, [alias(M)]),
|
mutex_create(Id, [alias(M)]),
|
||||||
'$with_mutex'(M, G )
|
'$with_mutex'(M, G )
|
||||||
;
|
;
|
||||||
|
Reference in New Issue
Block a user