From e7131586581426fc611004d424685433673a2a5b Mon Sep 17 00:00:00 2001
From: Eisenwave <me@eisenwave.net>
Date: Fri, 14 Nov 2025 19:59:46 +0100
Subject: [PATCH] P3819R0 Remove evaluation_exception() from contract-violation
 handling for C++26

Fixes NB GB 04-124, NL, US 69-125 (C++26 CD).
---
 source/support.tex | 17 -----------------
 1 file changed, 17 deletions(-)

diff --git a/source/support.tex b/source/support.tex
index c6929d58ff..0ae7734953 100644
--- a/source/support.tex
+++ b/source/support.tex
@@ -4432,7 +4432,6 @@
 
     const char* comment() const noexcept;
     contracts::detection_mode detection_mode() const noexcept;
-    exception_ptr evaluation_exception() const noexcept;
     bool is_terminating() const noexcept;
     assertion_kind kind() const noexcept;
     source_location location() const noexcept;
@@ -4551,22 +4550,6 @@
 
 \end{itemdescr}
 
-\begin{itemdecl}
-exception_ptr evaluation_exception() const noexcept;
-\end{itemdecl}
-
-\begin{itemdescr}
-
-\pnum
-\returns
-If the contract violation occurred
-because the evaluation of the predicate exited via an exception,
-an \tcode{exception_ptr} object that refers to
-that exception or a copy of that exception;
-otherwise, a null \tcode{exception_ptr} object.
-
-\end{itemdescr}
-
 \begin{itemdecl}
 bool is_terminating() const noexcept;
 \end{itemdecl}