From a89a81f630ba6f15017cdaaa91c5b306cc7f40a7 Mon Sep 17 00:00:00 2001 From: Michael Wong Date: Tue, 3 Aug 2021 21:01:07 -0400 Subject: [PATCH] Updates from Overleaf --- src/srHP.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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. \\