Fixup from previous suggestion

tkoeppe · Jan 12, 2024 · 41bba23 · 41bba23
1 parent 5ee6b04
commit 41bba23
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/source/templates.tex b/source/templates.tex
@@ -7751,8 +7751,9 @@
 \grammarterm{template-parameter}
 is not used in any of the function parameters of a function template,
 or is used only in a non-deduced context, then it is not possible for its corresponding
-\grammarterm{template-argument} to be deduced from a function call, and the
-function template can only be used if the \grammarterm{template-argument} is specified explicitly.
+\grammarterm{template-argument} to be deduced from a function call, and
+thus the program is ill-formed
+unless the \grammarterm{template-argument} is explicitly specified.
 \end{note}
 
 \pnum