tree 14a92070cf251a1fc93246e92562ac2855dc676d
parent b07fc10e91a5954254b47280aba287220c734a4b
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1610641615 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1610641615 -0300

Corrected documentation for 'table.sort'

The sort function must define a (strict) weak order for a correct
sorting. A partial order is not enough.