tree 9d072803671731c512a70e91ac67147f63f8b394
parent 857a1204d8df62c20adab201329445f335c4066e
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 969547285 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 969547285 -0300

wrong assert