tree a2a485e4791be487efc822a6ea6f3297536a973c
parent e222997c5bb136b4f079d5fdb1c9852bfadb2b3a
author Wayne Zhang <qiwzhang@gmail.com> 1496168303 -0700
committer Feng Xiao <xfxyjwf@gmail.com> 1496168303 -0700

not to use std::random_device for map.Seed(). (#3133)

* not to use std::random_device for map.Seed().

* remove include random