
<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">Thanks you both.<div><br></div><div>The documentation was indeed not clear on this point, that’s why I did the test case.</div><div><br></div><div>Cheers,</div><div><br></div><div>Quentin<br><div><div>On Oct 11, 2013, at 11:19 AM, Renato Golin <<a href="mailto:renato.golin@linaro.org">renato.golin@linaro.org</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div dir="ltr">On 11 October 2013 19:15, Matthias Braun <span dir="ltr"><<a href="mailto:mbraun@apple.com" target="_blank">mbraun@apple.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div style="word-wrap:break-word"><div>Oh sorry, I was mislead by the manual: "<span style="line-height:21px;font-size:14px;font-family:'Lucida Grande','Lucida Sans Unicode',Geneva,Verdana,sans-serif">With captured variables, </span><tt style="line-height:21px;font-size:0.95em;font-family:Consolas,'Deja Vu Sans Mono','Bitstream Vera Sans Mono',monospace">CHECK-DAG:</tt><span style="line-height:21px;font-size:14px;font-family:'Lucida Grande','Lucida Sans Unicode',Geneva,Verdana,sans-serif"> is able to match valid topological orderings of a DAG with edges from the definition of a variable to its use.</span><font face="Lucida Grande, Lucida Sans Unicode, Geneva, Verdana, sans-serif"><span style="font-size:14px;line-height:21px">” I really should have tried this first. Thanks Quentin.</span></font></div>

</div></blockquote><div></div></div><br></div><div class="gmail_extra">I read the same phrase and misunderstood in the same way. I'll add a warning to the doc.</div><div class="gmail_extra"><br></div><div class="gmail_extra">

cheers,</div><div class="gmail_extra">--renato</div></div>

</blockquote></div><br></div></body></html>