[expr.reinterpret.cast] Strike definition in footnote

Author: sdkrystian

source/expressions.tex

@@ -3995,6 +3995,7 @@
 \pnum
 \indextext{cast!reinterpret!reference}%
 \indextext{cast!reference}%
+\indextext{type pun}%
 A glvalue of type \tcode{T1},
 designating an object \placeholder{x},
 can be cast to the type ``reference to \tcode{T2}''
@@ -4007,7 +4008,7 @@
 No temporary is created, no copy is made, and
 no constructors\iref{class.ctor} or conversion
 functions\iref{class.conv} are called.%
-\footnote{This is sometimes referred to as a \defn{type pun}
+\footnote{This is sometimes referred to as a type pun
 when the result refers to the same object as the source glvalue.}
 
 \rSec3[expr.const.cast]{Const cast}