diff --git a/src/srHP.tex b/src/srHP.tex index a8e9ea3..7c67b33 100644 --- a/src/srHP.tex +++ b/src/srHP.tex @@ -260,9 +260,9 @@ \end{codeblock} \rSec3[SafeRecl.HP.holder.ctor]{Constructors} - -\tcode{hazard_pointer() noexcept;} - +\begin{itemdecl} +hazard\_pointer() noexcept; +\end{itemdecl} \pnum \postconditions \tcode{*this} is empty. \\