Merge branch 'master' into clusterMergeMaster6

This commit is contained in:
Joost VandeVondele
2019-07-01 16:36:58 +02:00
27 changed files with 344 additions and 293 deletions
+1 -1
View File
@@ -166,7 +166,7 @@ namespace {
}
else if (token == "setoption") setoption(is);
else if (token == "position") position(pos, is, states);
else if (token == "ucinewgame") Search::clear();
else if (token == "ucinewgame") { Search::clear(); elapsed = now(); } // Search::clear() may take some while
}
elapsed = now() - elapsed + 1; // Ensure positivity to avoid a 'divide by zero'