Remove dependency on boost::random, since that is now in std

src/data/pack.hpp

@@ -12,8 +12,8 @@
 #include <util/prec.hpp>
 #include <util/reflect.hpp>
 #include <script/scriptable.hpp>
-#include <boost/random/mersenne_twister.hpp>
 #include <boost/logic/tribool.hpp>
+#include <random>
 using boost::tribool;
 
 DECLARE_POINTER_TYPE(PackType);
@@ -137,8 +137,8 @@ class PackGenerator {
   void update_card_counts();
   
   // only for PackInstance
-  SetP set;           ///< The set
-  boost::mt19937 gen; ///< Random generator
+  SetP set; ///< The set
+  mt19937 gen; ///< Random generator
   private:
   /// Details for each PackType
   map<String,PackInstanceP> instances;

src/gui/set/random_pack_panel.cpp

@@ -17,7 +17,6 @@
 #include <data/pack.hpp>
 #include <data/settings.hpp>
 #include <util/window_id.hpp>
-#include <boost/random/mersenne_twister.hpp>
 #include <wx/spinctrl.h>
 #include <wx/dcbuffer.h>