diff options
Diffstat (limited to 'biology/unanimity/files/patch-src_Recursor.h')
-rw-r--r-- | biology/unanimity/files/patch-src_Recursor.h | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/biology/unanimity/files/patch-src_Recursor.h b/biology/unanimity/files/patch-src_Recursor.h deleted file mode 100644 index 4c880356c882..000000000000 --- a/biology/unanimity/files/patch-src_Recursor.h +++ /dev/null @@ -1,12 +0,0 @@ -# Type mismatch on 11.0 i386 ---- src/Recursor.h.orig 2018-03-07 23:10:34 UTC -+++ src/Recursor.h -@@ -708,7 +708,7 @@ size_t Recursor<Derived>::FillAlphaBeta( - size_t J = tpl.Length(); - int flipflops = 0; - size_t maxSize = -- std::max(100ul, static_cast<size_t>(0.5 + REBANDING_THRESHOLD * (I + 1) * (J + 1))); -+ std::max(100ul, static_cast<unsigned long>(0.5 + REBANDING_THRESHOLD * (I + 1) * (J + 1))); - - // if we use too much space, do at least one more round - // to take advantage of rebanding |