tree 5f72f5cd9e29e93609cd56514d109579aca6259a
parent 3cf340f676aea0d2f4a1135bf9aebc979f93d30a
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1513079555 -0200
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1513079555 -0200

back to reallocation when resizing the string table.
(Not a good idea to explicitly allocate new memory when shrinking
something.)