Zero unused constant

No functional change Closes #1081
2017-04-25 17:19:23 -07:00 · 2017-04-25 17:19:23 -07:00 · d06a8d0c18
parent b48439e906
commit d06a8d0c18
1 changed files with 2 additions and 1 deletions
--- a/src/search.cpp
+++ b/src/search.cpp
@ -68,7 +68,8 @@ namespace {
  const int skipPhase[] = { 0, 1, 0, 1, 2, 3, 0, 1, 2, 3, 4, 5, 0, 1, 2, 3, 4, 5, 6, 7 };

  // Razoring and futility margin based on depth
-  const int razor_margin[4] = { 483, 570, 603, 554 };
+  // razor_margin[0] is unused as long as depth >= ONE_PLY in search
+  const int razor_margin[] = { 0, 570, 603, 554 };
  Value futility_margin(Depth d) { return Value(150 * d / ONE_PLY); }

  // Futility and reductions lookup tables, initialized at startup