From 4261905233041fbcacb92ce13dbeea6fa8a69c0a Mon Sep 17 00:00:00 2001
From: lprv <100177227+lprv@users.noreply.github.com>
Date: Thu, 27 Mar 2025 11:26:49 +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 0294586daa..099dbbf4c3 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} are
+the concept-dependent constraint \tcode{CT<U*, C>}.\\
+The associated constraints of \tcode{g} are
 the atomic constraint \tcode{true}.
 \end{example}