Merge pull request #4854

bd98e99c Removed a lot of unnecessary includes (Martijn Otto)
2018-12-04 17:08:42 +02:00
parent 398f7076bb bd98e99c80
commit c00ac446fd
39 changed files with 38 additions and 168 deletions
@@ -29,10 +29,8 @@

 #include <boost/filesystem.hpp>
 #include <boost/format.hpp>
-#include <boost/current_function.hpp>
 #include <memory>  // std::unique_ptr
 #include <cstring>  // memcpy
-#include <random>

 #include "string_tools.h"
 #include "file_io_utils.h"