diff options
Diffstat (limited to 'typing/printtyp.ml')
| -rw-r--r-- | typing/printtyp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/printtyp.ml b/typing/printtyp.ml index 868bfddce5..6b02e1b91e 100644 --- a/typing/printtyp.ml +++ b/typing/printtyp.ml @@ -431,7 +431,7 @@ and tree_of_typobject sch fi nm = | _ -> l) fields [] in let sorted_fields = - Sort.list (fun (n, _) (n', _) -> n <= n') present_fields in + List.sort (fun (n, _) (n', _) -> compare n n') present_fields in tree_of_typfields sch rest sorted_fields in let (fields, rest) = pr_fields fi in Otyp_object (fields, rest) |