From 11e4bf0935b3f47b1c6dcc20a4acf45b06e11fb5 Mon Sep 17 00:00:00 2001
From: Andreas Krug <153394595+Andreas-Krug@users.noreply.github.com>
Date: Thu, 8 May 2025 08:08:08 +0200
Subject: [PATCH] [basic.contract.eval] Remove stray closing parenthesis

---
 source/basic.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/basic.tex b/source/basic.tex
index 733d6699d0..2edf6dd134 100644
--- a/source/basic.tex
+++ b/source/basic.tex
@@ -7586,7 +7586,7 @@
 
 \begin{note}
 If a contract-violation handler
-invoked from an \grammarterm{assertion-statement}\iref{stmt.contract.assert})
+invoked from an \grammarterm{assertion-statement}\iref{stmt.contract.assert}
 exits via an exception,
 the search for a handler
 continues from the execution of that statement.