From 9e5707cf8197f5b747263765e2286771f45a6287 Mon Sep 17 00:00:00 2001
From: lprv <100177227+lprv@users.noreply.github.com>
Date: Thu, 27 Mar 2025 11:26:53 +0000
Subject: [PATCH] [temp.constr.concept] Avoid talking about normalization of
 constraints

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

diff --git a/source/templates.tex b/source/templates.tex
index 0294586daa..c0842075e8 100644
--- a/source/templates.tex
+++ b/source/templates.tex
@@ -1845,7 +1845,7 @@
 \tcode{CD} is satisfied if \tcode{CI$''$} is satisfied.
 \begin{note}
 Checking whether \tcode{CI$''$} is satisfied
-can lead to further normalization of concept-dependent constraints.
+can lead to further satisfaction checking of concept-dependent constraints.
 \end{note}
 %FIXME: "_" in the example below is not a valid identifier.
 \begin{example}