patch by UN: op/3 typo in error
This commit is contained in:
parent
1e2abadd78
commit
65e61cfefd
@ -209,7 +209,7 @@ thread_create(Goal, Id, Options) :-
|
|||||||
% vsc: ?????
|
% vsc: ?????
|
||||||
thread_defaults(Defaults) :-
|
thread_defaults(Defaults) :-
|
||||||
nonvar(Defaults), !,
|
nonvar(Defaults), !,
|
||||||
'$do_error'(uninstantion_error(Defaults), thread_defaults(Defaults)).
|
'$do_error'(uninstantiation_error(Defaults), thread_defaults(Defaults)).
|
||||||
thread_defaults([stack(Stack), trail(Trail), system(System), detached(Detached), at_exit(AtExit)]) :-
|
thread_defaults([stack(Stack), trail(Trail), system(System), detached(Detached), at_exit(AtExit)]) :-
|
||||||
recorded('$thread_defaults',[Stack, Trail, System, Detached, AtExit], _).
|
recorded('$thread_defaults',[Stack, Trail, System, Detached, AtExit], _).
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user