> > str.slice(1,str.size()) > This could be written more simply as str.substr(1), if I'm not mistaken. - David -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20110908/189bed79/attachment.html>