diff options
author | 2016-01-01 23:47:59 +0100 | |
---|---|---|
committer | 2016-01-01 23:47:59 +0100 | |
commit | d5b1807e65f7ea29d435c3f894aa551370c5989f (patch) | |
tree | 48abae07dd6bb1087bc2cdd4a29d74a7419df350 /lib | |
parent | 53d109a21d97d073bc6a1f36a6c39b940a55eb69 (diff) |
Fix typos.
Diffstat (limited to 'lib')
-rw-r--r-- | lib/hashcons.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/hashcons.ml b/lib/hashcons.ml index d92751918..eeaaf2f7f 100644 --- a/lib/hashcons.ml +++ b/lib/hashcons.ml @@ -72,7 +72,7 @@ module Make (X : HashconsedType) : (S with type t = X.t and type u = X.u) = end -(* A few usefull wrappers: +(* A few useful wrappers: * takes as argument the function [generate] above and build a function of type * u -> t -> t that creates a fresh table each time it is applied to the * sub-hcons functions. *) |