init state should be shared by threads

This commit is contained in:
Vitor Santos Costa 2013-10-30 14:12:54 +00:00
parent 360e8a9269
commit ab5c24cb87

View File

@ -46,9 +46,9 @@ true :- true.
'$init_system' :- '$init_system' :-
'$nb_getval'('$yap_inited', on, fail), !. get_value('$yap_inited', true), !.
'$init_system' :- '$init_system' :-
nb_setval('$yap_inited', on), set_value('$yap_inited', true),
% do catch as early as possible % do catch as early as possible
( (
'$access_yap_flags'(15, 0), '$access_yap_flags'(15, 0),