diff --git a/pl/control.yap b/pl/control.yap index 5aac0b0ac..7afdc3d0d 100644 --- a/pl/control.yap +++ b/pl/control.yap @@ -263,10 +263,10 @@ This is similar to call_cleanup/1 with an additional */ call_cleanup(Goal, Cleanup) :- - '$setup_call_catcher_cleanup'(true, Goal, Catcher, Cleanup). + setup_call_catcher_cleanup(true, Goal, Catcher, Cleanup). call_cleanup(Goal, Catcher, Cleanup) :- - '$setup_call_catcher_cleanup'(true, Goal, Catcher, Cleanup). + setup_call_catcher_cleanup(true, Goal, Catcher, Cleanup). /** @pred setup_call_cleanup(: _Setup_,: _Goal_, : _CleanUpGoal_) @@ -283,10 +283,7 @@ most uses, _Setup_ will perform temporary side-effects required by */ setup_call_cleanup(Setup,Goal, Cleanup) :- - '$setup_call_catcher_cleanup'(Setup, Goal, Catcher, Cleanup). - -setup_call_catcher_cleanup(Setup,Goal, Catcher, Cleanup) :- - '$setup_call_catcher_cleanup'(Setup, Goal, Catcher, Cleanup). + setup_call_catcher_cleanup(Setup, Goal, _Catcher, Cleanup). /** @pred call_with_args(+ _Name_,...,? _Ai_,...) @@ -649,4 +646,3 @@ prolog_current_frame(Env) :- /** @} */ -