li class="listitem">
<pre class="literallayout"><a name="idm45572792064832-bb"></a><span class="special">~</span><span class="identifier">specify_old_postcondition_except</span><span class="special">(</span><span class="special">)</span><span class="special">;</span></pre>Destruct this object. <p><span class="bold"><strong>Throws:</strong></span> This can throw in case programmers specify failure handlers that throw exceptions instead of terminating the program (see  <a class="link" href="../../boost_contra