<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On Jun 16, 2010, at 5:46 PM, Chris Lattner wrote:</div><blockquote type="cite"><div>Please correct the comment. Also, please expand it to talk about why stable_sort is the right answer here (it's a perf win, not important for correctness).<font class="Apple-style-span" color="#000000"><font class="Apple-style-span" color="#144FAE"><br></font></font></div></blockquote><br></div><div>Fixed in r106192.</div><div><br></div><div>--Owen</div><br></body></html>