From 09feb97b95662037f63aa17607899824b5db21af Mon Sep 17 00:00:00 2001
From: Jan Wielemaker <jan@swi-prolog.org>
Date: Wed, 9 Oct 2024 12:35:43 +0200
Subject: [PATCH] FIXED: Avoid message when assertion/1 is interrupted by abort

---
 library/debug.pl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/library/debug.pl b/library/debug.pl
index 9eba79b433..16913782aa 100644
--- a/library/debug.pl
+++ b/library/debug.pl
@@ -382,6 +382,8 @@
 assertion_failed(Reason, G) :-
     prolog:assertion_failed(Reason, G),
     !.
+assertion_failed(unwind(_), _) :-
+    !.
 assertion_failed(Reason, _) :-
     assertion_rethrow(Reason),
     !,