[propagation] use code font for exception_ptr

jwakely · jwakely · commit 348289cab8b6 · 2015-11-25T20:25:59.000Z
diff --git a/source/support.tex b/source/support.tex
@@ -2839,7 +2839,7 @@
 
 \begin{itemdescr}
 \pnum
-The type exception_ptr can be used to refer to an exception object.
+The type \tcode{exception_ptr} can be used to refer to an exception object.
 
 \pnum
 \tcode{exception_ptr} shall satisfy the requirements of
