From c1d18f134ba7fc5045c38b4c4c6a85c389939f19 Mon Sep 17 00:00:00 2001
From: Andreas Krug <153394595+Andreas-Krug@users.noreply.github.com>
Date: Mon, 20 Apr 2026 08:51:15 +0200
Subject: [PATCH] [exec.get.domain] Remove superfluous period after
 \end{itemize}

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

diff --git a/source/exec.tex b/source/exec.tex
index 47ac14dfc2..d7fca2c22f 100644
--- a/source/exec.tex
+++ b/source/exec.tex
@@ -969,7 +969,7 @@
 \item \tcode{auto(\exposid{AS-CONST}(env).query(get_domain))}.
 \item \tcode{get_completion_domain<set_value_t>(get_scheduler(env), \exposid{HIDE-SCHED}(env))}.
 \item \tcode{default_domain()}, except that \tcode{env} is evaluated.
-\end{itemize}.
+\end{itemize}
 
 \pnum
 \tcode{forwarding_query(execution::get_domain)} is