diff -r f425c93848fa -r 61fdd06833a6 lemon/random.h
--- a/lemon/random.h	Wed Oct 17 18:56:39 2018 +0200
+++ b/lemon/random.h	Mon Oct 15 23:22:18 2018 +0200
@@ -342,7 +342,7 @@
         do {
           num = rnd() & mask;
         } while (num > max);
-        return num;
+        return static_cast<Result>(num);
       }
     };