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 | |
| 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')
| -rw-r--r-- | lib/hashtbl_alt.ml | 2 | ||||
| -rw-r--r-- | lib/hashtbl_alt.mli | 2 |
2 files changed, 2 insertions, 2 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. *) diff --git a/lib/hashtbl_alt.mli b/lib/hashtbl_alt.mli index 96dffb2cb..a22dbc288 100644 --- a/lib/hashtbl_alt.mli +++ b/lib/hashtbl_alt.mli @@ -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. *) |