diff options
Diffstat (limited to 'pch')
-rw-r--r-- | pch/inc/pch/precompiled_system.hxx | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/pch/inc/pch/precompiled_system.hxx b/pch/inc/pch/precompiled_system.hxx index 526ab6d22832..93268fcd82a7 100644 --- a/pch/inc/pch/precompiled_system.hxx +++ b/pch/inc/pch/precompiled_system.hxx @@ -34,7 +34,6 @@ #include <boost/multi_index/random_access_index.hpp> #include <boost/operators.hpp> #include <o3tl/optional.hxx> -#include <o3tl/optional.hxx> #include <boost/property_tree/json_parser.hpp> #include <boost/rational.hpp> #include <boost/version.hpp> |