We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent eb1ce2d commit ece533cCopy full SHA for ece533c
1 file changed
source/templates.tex
@@ -2194,7 +2194,7 @@
2194
in the normal form \tcode{N} of \tcode{CE},
2195
appearances of \tcode{C}{'s} template parameters
2196
in the parameter mappings of the atomic constraints in \tcode{N}
2197
-with their respective arguments from \tcode{C}.
+with their respective arguments from \tcode{CI}.
2198
If any such substitution results in an invalid type or expression,
2199
the program is ill-formed; no diagnostic is required.
2200
\end{itemize}
0 commit comments