tree c431cb5ca8a8ae390f48ab8e8af9b5eed1802642
parent 9405472565cb4b0cb0c339d65babdef4d4cb7abd
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1566236508 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1566236508 -0300

Detail (extra test for warnings when closing state)