From a4b1ffd9e65188ae19c29dffd2db42cb1558cee2 Mon Sep 17 00:00:00 2001
From: Jan Schultke <me@eisenwave.net>
Date: Tue, 15 Aug 2023 01:18:00 +0200
Subject: [PATCH] [except.terminate] add comma after introductory phrase
 (#6446)

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

diff --git a/source/exceptions.tex b/source/exceptions.tex
index 8dbd0304ef..c4cc789ff9 100644
--- a/source/exceptions.tex
+++ b/source/exceptions.tex
@@ -1015,7 +1015,7 @@
 \pnum
 \indextext{\idxcode{terminate}}%
 % FIXME: What does it mean to abandon exception handling?
-In some situations exception handling is abandoned
+In some situations, exception handling is abandoned
 for less subtle error handling techniques.
 \begin{note}
 These situations are: