te specify_old_postcondition_except">specify_old_postcondition_except</a> <span class="special">{</span>
<span class="keyword">public</span><span class="special">:</span>
  <span class="comment">// <a class="link" href="specify__idm45572792098160.html#boost.contract.specify__idm45572792098160construct-copy-destruct">construct/copy/destruct</a></span>
  <a class="link" href="specify__idm45572792098160.html#idm45572792064832-bb"><span class="special">~</span><span class="identifier">specify_old_postcondition_