diff -r 57167d92e96c -r c8d0179a32a2 lemon/random.h
--- a/lemon/random.h	Fri Mar 23 15:43:30 2018 +0100
+++ b/lemon/random.h	Wed Oct 17 19:22:52 2018 +0200
@@ -339,7 +339,7 @@
         do {
           num = rnd() & mask;
         } while (num > max);
-        return num;
+        return static_cast<Result>(num);
       }
     };