diff --git a/prolog/metta_lang/metta_utils.pl b/prolog/metta_lang/metta_utils.pl index 0a36cf0eda..622cb7a76e 100755 --- a/prolog/metta_lang/metta_utils.pl +++ b/prolog/metta_lang/metta_utils.pl @@ -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.