
<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><div class="">On 29 Oct 2015, at 12:53, Rick Walsh <<a href="mailto:rickmwalsh@gmail.com" class="">rickmwalsh@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><span style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; float: none; display: inline !important;" class="">Comments added to commit<span class="Apple-converted-space"> </span></span></div></blockquote></div><br class=""><div class="">What I already said on IRC:</div><div class=""><br class=""></div><div class="">It should probably be</div><div class=""><br class=""></div><div class="">

<pre style="margin-top: 0px; margin-bottom: 0px;" class=""><!--StartFragment--><span style=" color:#808000;" class="">if</span><span style=" color:#c0c0c0;" class=""> </span>(prefs.<span style=" color:#800000;" class="">deco_mode</span><span style=" color:#c0c0c0;" class=""> </span>==<span style=" color:#c0c0c0;" class=""> </span><span style=" color:#800080;" class="">VPMB</span><span style=" color:#c0c0c0;" class=""> </span>&&<span style=" color:#c0c0c0;" class=""> </span>!in_planner()<span style=" color:#c0c0c0;" class=""> </span>&&<span style=" color:#c0c0c0;" class=""> </span>entry-><span style=" color:#800000;" class="">ceiling</span><span style=" color:#c0c0c0;" class=""> </span>>=<span style=" color:#c0c0c0;" class=""> </span>first_ceiling<span style=" color:#c0c0c0;" class=""> </span>&&<span style=" color:#c0c0c0;" class=""> </span>first_iteration<span style=" color:#c0c0c0;" class=""> </span>==<span style=" color:#c0c0c0;" class=""> </span><span style=" color:#808000;" class="">true</span>)<span style=" color:#c0c0c0;" class=""> </span>{<!--EndFragment--></pre><div class=""><br class=""></div></div><div class=""><br class=""></div><div class="">with a good initialisation for first_ceiling so this is true when it is first called (where no ceiling so far has been computed). Otherwise, at least for my real dives, the condition is never true (a breakpoint on the next statement was never reached).</div><div class=""><br class=""></div><div class="">Then, have a look at this file:</div><div class=""><br class=""></div><div class=""></div></body></html>