FIXED: Avoid message when assertion/1 is interrupted by abort

SWI-Prolog · Oct 9, 2024 · 09feb97 · 09feb97
1 parent 9f07b39
commit 09feb97
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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),
     !,