CTAD

2022-07-29 14:27:55 +02:00 · 2022-07-29 14:27:55 +02:00 · 0ea9878fd1
commit 0ea9878fd1
parent af94270dc6
1 changed files with 1 additions and 1 deletions
--- a/src/io/rsm/raft.hpp
+++ b/src/io/rsm/raft.hpp
@ -229,7 +229,7 @@ class Raft {
  }

  Duration RandomTimeout(Duration min, Duration max) {
-    std::uniform_int_distribution<> time_distrib(min, max);
+    std::uniform_int_distribution time_distrib(min, max);
    return io_.Rand(time_distrib);
  }