From f7013e3474bb3c6b3e727288dc2d6e0fea755a58 Mon Sep 17 00:00:00 2001
From: lprv <100177227+lprv@users.noreply.github.com>
Date: Thu, 27 Mar 2025 11:26:43 +0000
Subject: [PATCH] [temp.over.link] Remove redundant wording

---
 source/templates.tex | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/source/templates.tex b/source/templates.tex
index 0294586daa..f2393fb106 100644
--- a/source/templates.tex
+++ b/source/templates.tex
@@ -4207,9 +4207,7 @@
 they have equivalent types
 ignoring the use of \grammarterm{type-constraint}{s} for placeholder types, and
 \item if they declare template template parameters,
-%FIXME: What are "their kinds"? And what does it mean for kinds to be the same?
-%FIXME: We refer to "kinds" in [temp.param]/p2 but never define it.
-their kinds are the same and their \grammarterm{template-head}{s} are equivalent.
+their \grammarterm{template-head}{s} are equivalent.
 \end{itemize}
 When determining whether types or \grammarterm{type-constraint}{s}
 are equivalent, the rules above are used to compare expressions