That looks reasonable to me.<div><br></div><div> - Daniel<span></span><br><br>On Monday, June 9, 2014, Alexey Samsonov <<a href="mailto:vonosmas@gmail.com">vonosmas@gmail.com</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Daniel, do you think changes are like this are fine in lit?<br>
<br>
<a href="http://reviews.llvm.org/D4072" target="_blank">http://reviews.llvm.org/D4072</a><br>
<br>
<br>
</blockquote></div>