Update sorting.ml