diff options
| -rw-r--r-- | asmcomp/reg.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/asmcomp/reg.mli b/asmcomp/reg.mli index 26e05187b..456b05851 100644 --- a/asmcomp/reg.mli +++ b/asmcomp/reg.mli @@ -41,8 +41,8 @@ val newv: Cmm.machtype -> t array val clone: t -> t val at_location: Cmm.machtype_component -> location -> t -module Set: Set.S with elt = t -module Map: Map.S with key = t +module Set: Set.S with type elt = t +module Map: Map.S with type key = t val add_set_array: Set.t -> t array -> Set.t val diff_set_array: Set.t -> t array -> Set.t |