diff options
| author | Dan Raviv <dan@soundradix.com> | 2017-08-26 21:09:00 +0300 |
|---|---|---|
| committer | Dan Raviv <dan@soundradix.com> | 2017-08-26 21:09:00 +0300 |
| commit | 5ac072caa242d7ecf724e0c3a23f4a7c477a3a1e (patch) | |
| tree | a2976be6e6b5d263eb6d7a0576f3f1e91dbe19d6 /src/miner.h | |
| parent | 7fd49d01dc2ea444ba4d81d0cfa17486b03c8515 (diff) | |
Fix boost headers included as user instead of system headers
In most of the project, boost headers are included as system headers.
Fix the few inconsistent places where they aren't.
Diffstat (limited to 'src/miner.h')
| -rw-r--r-- | src/miner.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/miner.h b/src/miner.h index 6e5fe761db..abd2ff6199 100644 --- a/src/miner.h +++ b/src/miner.h @@ -11,8 +11,8 @@ #include <stdint.h> #include <memory> -#include "boost/multi_index_container.hpp" -#include "boost/multi_index/ordered_index.hpp" +#include <boost/multi_index_container.hpp> +#include <boost/multi_index/ordered_index.hpp> class CBlockIndex; class CChainParams; |