Closed matthewyip1511 closed 1 week ago
Currently, the claims are sorted in the order in which they are added. They should instead appear in lexicographical order which would be more appropriate. They should be sorted automatically once the new claim is added.
Currently, the claims are sorted in the order in which they are added. They should instead appear in lexicographical order which would be more appropriate. They should be sorted automatically once the new claim is added.