Fix compilation of pup_stl.h by including <random> 74/4874/1
authorSam White <white67@illinois.edu>
Thu, 20 Dec 2018 18:50:41 +0000 (12:50 -0600)
committerSam White <white67@illinois.edu>
Thu, 20 Dec 2018 18:50:41 +0000 (12:50 -0600)
Change-Id: I6a668d436df68537ca5fc5c16fefeed3231b6a37

src/util/pup_stl.h

index 528d054b2dfa77e153c5aff561b4d3d60c04001b..025f4e8c234e227ee1a69e461e611c3bd5268111 100644 (file)
@@ -29,6 +29,7 @@ Orion Sky Lawlor, olawlor@acm.org, 7/22/2002
 #include <list>
 #include <map>
 #include <memory>
+#include <random>
 #include <tuple>
 #include <unordered_map>
 #include <unordered_set>