tree 0c8a2d677fcc7b515439161f188269d118a7433c
parent 1e0ad018cef2a8e771787f126ce2150028749411
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1576256562 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1576256562 -0300

Small correction in assertion