summaryrefslogtreecommitdiff
path: root/biology/unanimity/files/patch-src_Recursor.h
diff options
context:
space:
mode:
Diffstat (limited to 'biology/unanimity/files/patch-src_Recursor.h')
-rw-r--r--biology/unanimity/files/patch-src_Recursor.h12
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