From 77c7fea4cee74562ad60c7ce96ca830a7ebda8b7 Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Thu, 22 Jul 2021 19:18:33 +0000 Subject: Use addgoals to add the goal in catch/3 to the goalstack, allowing mod:pred goals too --- loader.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'loader.pl') diff --git a/loader.pl b/loader.pl index cf0fcf3..0a9f8df 100644 --- a/loader.pl +++ b/loader.pl @@ -21,7 +21,7 @@ load_module_from_file(File) :- run_initialization_goals(Module) :- ( retract(initialization_goals(Module, Goal)), - Module:catch(Goal, E, loader:print_initialization_goal_error(Module, Goal, E)), + catch(Module:Goal, E, print_initialization_goal_error(Module, Goal, E)), fail % Backtrack to find more goals ; true ). -- cgit v1.2.3