diff options
Diffstat (limited to 'lib/hashtbl_alt.ml')
| -rw-r--r-- | lib/hashtbl_alt.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/hashtbl_alt.ml b/lib/hashtbl_alt.ml index e6843174ae..9e0f0decca 100644 --- a/lib/hashtbl_alt.ml +++ b/lib/hashtbl_alt.ml @@ -24,7 +24,7 @@ end module type S = sig type elt (* [may_add_and_get key constr] uses [key] to look for [constr] - in the hash table [H]. If [constr] is [H], returns the + in the hash table [H]. If [constr] is in [H], returns the specific representation that is stored in [H]. Otherwise, [constr] is stored in [H] and will be used as the canonical representation of this value in the future. *) |