ENHANCED: Avoid spurious tracing in push_msg/2.

SWI-Prolog · Nov 6, 2024 · 69e65a2 · 69e65a2
1 parent 6ceeee0
commit 69e65a2
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/boot/messages.pl b/boot/messages.pl
@@ -2011,7 +2011,6 @@
     prolog:message_prefix_hook/2.
 :- thread_local
     user:thread_message_hook/3.
-:- '$hide'((push_msg/1,pop_msg/0)).
 :- '$notransact'((user:message_hook/3,
                   prolog:message_prefix_hook/2,
                   user:thread_message_hook/3)).
@@ -2027,9 +2026,9 @@
     !.
 print_message(Level, Term) :-
     setup_call_cleanup(
-        push_msg(Term, Stack),
+        notrace(push_msg(Term, Stack)),
         ignore(print_message_guarded(Level, Term)),
-        pop_msg(Stack)),
+        notrace(pop_msg(Stack))),
     !.
 print_message(Level, Term) :-
     (   Level \== silent