diff options
Diffstat (limited to 'src/Identifiers.ml')
| -rw-r--r-- | src/Identifiers.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Identifiers.ml b/src/Identifiers.ml index 4880a19a..0a3e1c9d 100644 --- a/src/Identifiers.ml +++ b/src/Identifiers.ml @@ -151,7 +151,7 @@ type name = string list [@@deriving show, ord] (** A name such as: `std::collections::vector` (which would be represented as [["std"; "collections"; "vector"]]) *) -module NameOrderedType : C.OrderedType = struct +module NameOrderedType : C.OrderedType with type t = name = struct type t = name let compare = compare_name |