diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2020-06-05 23:02:44 +0200 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2020-12-19 09:46:55 +0100 |
| commit | fa4435e22f78f632a455016ce00a357009aac059 (patch) | |
| tree | 2880dcbc02b4c6612c08759c1c4f7304a7328b53 /test/lint | |
| parent | fa7e803f3e4df33117927aef6fef9bfaee4f410d (diff) | |
Replace boost::optional with std::optional
Diffstat (limited to 'test/lint')
| -rwxr-xr-x | test/lint/lint-includes.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/lint/lint-includes.sh b/test/lint/lint-includes.sh index fde77aea2d..393f734abe 100755 --- a/test/lint/lint-includes.sh +++ b/test/lint/lint-includes.sh @@ -60,7 +60,6 @@ EXPECTED_BOOST_INCLUDES=( boost/multi_index/ordered_index.hpp boost/multi_index/sequenced_index.hpp boost/multi_index_container.hpp - boost/optional.hpp boost/preprocessor/cat.hpp boost/preprocessor/stringize.hpp boost/process.hpp |