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}