diff options
author | Yuri Gorshenin <y@maps.me> | 2016-03-17 21:34:24 +0300 |
---|---|---|
committer | Sergey Yershov <yershov@corp.mail.ru> | 2016-03-23 16:56:51 +0300 |
commit | fa8aa617d1d241284d5045deac5947ef4823813a (patch) | |
tree | 37a002dfde8a3bd29e73968dadd3fe87a134f30c /std | |
parent | f1e915ae0fbc033120aeed54b022021f1554836e (diff) |
[search] Fixed flickering results.
Diffstat (limited to 'std')
-rw-r--r-- | std/random.hpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/std/random.hpp b/std/random.hpp index e90db2357c..04ac1483a9 100644 --- a/std/random.hpp +++ b/std/random.hpp @@ -7,6 +7,7 @@ #include <random> using std::default_random_engine; +using std::minstd_rand; using std::mt19937; using std::uniform_int_distribution; |