File fix32-bit.patch of Package kissat

Index: kissat-rel-4.0.2/src/congruence.c
===================================================================
--- kissat-rel-4.0.2.orig/src/congruence.c
+++ kissat-rel-4.0.2/src/congruence.c
@@ -390,7 +390,7 @@ static size_t reduce_hash (unsigned hash
   return res;
 }
 
-#define MAX_HASH_TABLE_SIZE ((size_t) 1 << 32)
+#define MAX_HASH_TABLE_SIZE ((size_t) 1 << 31)
 
 static bool closure_hash_table_is_full (closure *closure) {
   if (closure->hash.size == MAX_HASH_TABLE_SIZE)