fix ref to $freeze
This commit is contained in:
parent
3c67550975
commit
8df2b4a963
@ -113,7 +113,7 @@ setup_call_catcher_cleanup(Setup, Goal, Catcher, Cleanup) :-
|
|||||||
|
|
||||||
'$safe_call_cleanup'(Goal, Cleanup, Catcher, Exception) :-
|
'$safe_call_cleanup'(Goal, Cleanup, Catcher, Exception) :-
|
||||||
yap_hacks:current_choice_point(MyCP1),
|
yap_hacks:current_choice_point(MyCP1),
|
||||||
'$freeze_goal'(Catcher, '$clean_call'(Active, Cleanup)),
|
'$coroutining':freeze_goal(Catcher, '$clean_call'(Active, Cleanup)),
|
||||||
(
|
(
|
||||||
yap_hacks:trail_suspension_marker(Catcher),
|
yap_hacks:trail_suspension_marker(Catcher),
|
||||||
yap_hacks:enable_interrupts,
|
yap_hacks:enable_interrupts,
|
||||||
|
Reference in New Issue
Block a user