diff options
Diffstat (limited to 'lib/hashset.mli')
| -rw-r--r-- | lib/hashset.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/hashset.mli b/lib/hashset.mli index 2041b2ec20..2e5b814a79 100644 --- a/lib/hashset.mli +++ b/lib/hashset.mli @@ -43,4 +43,5 @@ module Combine : sig val combinesmall : int -> int -> int val combine3 : int -> int -> int -> int val combine4 : int -> int -> int -> int -> int + val combine5 : int -> int -> int -> int -> int -> int end |