Fix util::Random for macOS builds (#2655)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 19 Oct 2018 17:15:33 +0000 (10:15 -0700)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 19 Oct 2018 17:15:33 +0000 (12:15 -0500)
src/util/random.h

index e746666fc43a260f8e708af48decdf22167d0570..e6443c3dac76378a0aef2cdd87ba8a1b3d5d6e3b 100644 (file)
@@ -39,10 +39,10 @@ class Random
   }
 
   /** Get the minimum number that can be picked. */
-  static uint64_t min() { return 0u; }
+  static constexpr uint64_t min() { return 0u; }
 
   /** Get the maximum number that can be picked. */
-  static uint64_t max() { return UINT64_MAX; }
+  static constexpr uint64_t max() { return UINT64_MAX; }
 
   /** Set seed of Random.  */
   void setSeed(uint64_t seed);