2 files changed, 2 insertions, 0 deletions
diff --git a/lib/hashset.ml b/lib/hashset.ml
index 8c40e55001..f8d4274dee 100644
--- a/lib/hashset.ml
+++ b/lib/hashset.ml
@@ -202,5 +202,6 @@ module Combine = struct
     let combine x y     = x * alpha + y
     let combine3 x y z   = combine x (combine y z)
     let combine4 x y z t = combine x (combine3 y z t)
+    let combine5 x y z t u = combine x (combine4 y z t u)
     let combinesmall x y = beta * x + y
 end
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