diff options
Diffstat (limited to 'caml/PrintCsyntax.ml')
-rw-r--r-- | caml/PrintCsyntax.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/caml/PrintCsyntax.ml b/caml/PrintCsyntax.ml index 052581cd..f9abd9a2 100644 --- a/caml/PrintCsyntax.ml +++ b/caml/PrintCsyntax.ml @@ -49,7 +49,7 @@ let name_floattype sz = module StructUnionSet = Set.Make(struct type t = string * fieldlist - let compare = (compare: t -> t -> int) + let compare (n1, _ : t) (n2, _ : t) = compare n1 n2 end) let struct_unions = ref StructUnionSet.empty |