diff options
-rw-r--r-- | builtins.c | 8 | ||||
-rw-r--r-- | loader.pl | 2 |
2 files changed, 2 insertions, 8 deletions
@@ -622,13 +622,7 @@ builtincatch(Term *goal, Binding **bindings, Module *module) catchframe->next = goalstack; goalstack = catchframe; - Goal *g = gmalloc(sizeof(Goal)); - g->goal = catchgoal; - g->module = module; - g->catcher = nil; - g->next = goalstack; - goalstack = g; - + goalstack = addgoals(goalstack, catchgoal, module); return 1; } @@ -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 ). |