<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On Feb 2, 2012, at 11:24 AM, Ted Kremenek wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div>Thanks Fariborz. My only comment is that I think this code merits a comment that indicates why we are doing this.<br></div></blockquote><div><br></div>Sure. In r149625.</div><div><br></div><div>- Fariborz</div><div><br><blockquote type="cite"><div><br>On Feb 2, 2012, at 10:54 AM, Fariborz Jahanian wrote:<br><font class="Apple-style-span" color="#00721e"><br></font></div></blockquote></div><br></body></html>