Skip to content

Commit

Permalink
ugtrace(Why, G):- fbugio(Why), nortrace, notrace, trace, ggtrace(G), …
Browse files Browse the repository at this point in the history
…throw().
  • Loading branch information
TeamSPoon committed Dec 11, 2024
1 parent 7726e91 commit d85bb41
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion prolog/metta_lang/metta_utils.pl
Original file line number Diff line number Diff line change
Expand Up @@ -1462,7 +1462,7 @@
% If testing is enabled, handle the failure and abort.
ugtrace(Why, _):- is_testing, !, ignore(give_up(Why, 5)), throw('$aborted').
% Otherwise, log the reason, trace the goal G, and abort.
ugtrace(Why, G):- fbugio(Why), ggtrace(G), throw('$aborted').
ugtrace(Why, G):- fbugio(Why), nortrace, notrace, trace, ggtrace(G), throw('$aborted').
% ugtrace(Why,G):- ggtrace(G).

%! give_up(+Why, +N) is det.
Expand Down

0 comments on commit d85bb41

Please sign in to comment.