From ce8cae50d67c09d1b0e9e303b6359c9c8e9c61fd Mon Sep 17 00:00:00 2001
From: lprv <100177227+lprv@users.noreply.github.com>
Date: Thu, 3 Jul 2025 11:47:25 +0000
Subject: [PATCH] [temp.constr.normal] Fix example

* Avoid talking about the "normal form" of constraints
* Fix typo
---
 source/templates.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/source/templates.tex b/source/templates.tex
index 7d4eca1376..57cf2f8a79 100644
--- a/source/templates.tex
+++ b/source/templates.tex
@@ -2208,9 +2208,9 @@
 template<typename U>
   void g() requires CC<U*, C>;
 \end{codeblock}
-The normal form of the associated constraints of \tcode{f} is
-the concept-dependent constraint \tcode{CT<T, C>}.\\
-The normal form of the associated constraints of \tcode{g} is
+The associated constraints of \tcode{f} consist of
+the concept-dependent constraint \tcode{CT<U*, C>}.\\
+The associated constraints of \tcode{g} consist of
 the atomic constraint \tcode{true}.
 \end{example}