diff options
author | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-10-10 22:53:56 +0000 |
---|---|---|
committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-10-10 22:53:56 +0000 |
commit | 04a28435e4e3dc9467dca72abb3a8b81268df983 (patch) | |
tree | 35e04dfbf500b2d4e2adf40f7ed30d0e05e118f6 /lib/hashtbl_alt.ml | |
parent | 4f7c07ad78a9133f8b3b9739c7eb678f40c9de6e (diff) |
Hashtbl_alt : typo in a comment
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14541 85f007b7-540e-0410-9357-904b9bb8a0f7
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 e6843174a..9e0f0decc 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. *) |