diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-10-03 14:02:18 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-10-03 14:02:18 +0000 |
| commit | 986156eadf66c38e9ea38dc4b0b88a57181d1698 (patch) | |
| tree | 7854bac96abac6bbc097170333b62990979b1bd4 | |
| parent | 73ecded345d4bd64e50670351ce5fb254aae3f20 (diff) | |
"with" -> "with type".
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@308 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -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 |