core.exception_hpp" title="Header &lt;boost/contract/core/exception.hpp&gt;">boost/contract/core/exception.hpp</a>&gt;

</span>
<span class="identifier">from_failure_handler</span> <span class="identifier">get_postcondition_failure</span><span class="special">(</span><span class="special">)</span><span class="special">;</span></pre></div>
<div class="refsect1">
<a name="idm39194"></a><h2>Description</h2>
<p>This is often called only internally by this library.</p>
<p><span class="bold"><strong>Throws:</stro