[temp.pre] Avoid 'must'

cplusplus · Nov 16, 2023 · 897d1ed · 897d1ed
1 parent ed86ba4
commit 897d1ed
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/source/templates.tex b/source/templates.tex
@@ -138,7 +138,8 @@
 \begin{note}
 Default arguments for function templates and for member functions of
 class templates are considered definitions for the purpose of template
-instantiation\iref{temp.decls} and must obey the one-definition rule\iref{basic.def.odr}.
+instantiation\iref{temp.decls},
+and thus the one-definition rule\iref{basic.def.odr} applies.
 \end{note}
 
 \pnum