[macros] Suppress italic correction after EXPLICIT. It is never welcome and often disruptive.

tkoeppe · tkoeppe · commit 301a139aed79 · 2016-12-15T01:19:20.000Z
diff --git a/source/macros.tex b/source/macros.tex
@@ -260,7 +260,7 @@
 \newcommand{\unspecuniqtype}{\UNSP{unspecified unique type}}
 \newcommand{\unspecalloctype}{\UNSP{unspecified allocator type}}
 
-\newcommand{\EXPLICIT}{\textit{\texttt{EXPLICIT}}}
+\newcommand{\EXPLICIT}{\textit{\texttt{EXPLICIT}\nocorr}}
 
 %% Manual insertion of italic corrections, for aligning in the presence
 %% of the above annotations.
