| … | … | @@ -40,7 +40,7 @@ std::vector<KeyValue> shuffle_keyvalues(std::mt19937& rnd, std::vector<KeyValue> |
| 40 | 40 | return shuffled_kvs; |
| 41 | 41 | } |
| 42 | 42 | |
| 43 | using Time = std::chrono::time_point<std::chrono::steady_clock>; | |
| 43 | using Time = std::chrono::time_point<std::chrono::high_resolution_clock>; | |
| 44 | 44 | |
| 45 | 45 | Time start_timer() |
| 46 | 46 | { |