tree 4b3e0d9f7739a5f23c62498129c26dae20e202db
parent 3f6f78ea0b09f2dc558576926b74cb8f4bb7eb8b
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1363874097 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1363874097 -0300

detail (avoid unnecessary "unconst" in cast)