pre-merge syncs

2026-07-21 22:59:19 +02:00 · 2018-02-03 17:37:46 +01:00
parent b3e7b88bbc
commit e8bb25454e
20 changed files with 53 additions and 82 deletions
--- a/utilities.cpp
+++ b/utilities.cpp
@@ -84,7 +84,7 @@ bool ClearFlag( int &Flag, int const Value ) {
    }
 }

-inline double Random(double a, double b)
+double Random(double a, double b)
 {
    std::uniform_real_distribution<> dis(a, b);
    return dis(Global.random_engine);