tree 01c7138456f8095fa3f4491e6ef72602a39e9d6c
parent c82087b8ddaf9b88221e06e368e6ef1317ece52f
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1323281027 -0200
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1323281027 -0200

avoid a few warnings (casts)