1.1 --- a/lemon/random.h Fri Mar 23 15:43:30 2018 +0100
1.2 +++ b/lemon/random.h Wed Oct 17 19:22:52 2018 +0200
1.3 @@ -339,7 +339,7 @@
1.4 do {
1.5 num = rnd() & mask;
1.6 } while (num > max);
1.7 - return num;
1.8 + return static_cast<Result>(num);
1.9 }
1.10 };
1.11