Remove unused MakeOptional

The only use was to work around a compiler warning in an ancient
compiler, which we no longer support.
This commit is contained in:
MarcoFalke 2020-12-16 12:02:27 +01:00
parent fadd4029dc
commit fa7e803f3e
No known key found for this signature in database
GPG key ID: CE2B75697E69A548
3 changed files with 3 additions and 12 deletions

View file

@ -13,13 +13,6 @@
template <typename T>
using Optional = boost::optional<T>;
//! Substitute for C++17 std::make_optional
template <typename T>
Optional<T> MakeOptional(bool condition, T&& value)
{
return boost::make_optional(condition, std::forward<T>(value));
}
//! Substitute for C++17 std::nullopt
static auto& nullopt = boost::none;