boostorg/mp11
1
0
Fork 1
mirror of https://github.com/boostorg/mp11.git synced 2025-08-13 19:14:31 +02:00
Code Issues Packages Projects Releases Wiki Activity

added missing #include

Browse Source
This commit is contained in:
joaquintides
2024-11-08 19:21:27 +01:00
parent fb79d23aac
commit 13a81c86ee
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
include/boost/mp11/set.hpp
View File

@@ -13,6 +13,7 @@
#include <boost/mp11/detail/mp_list.hpp>
#include <boost/mp11/detail/mp_append.hpp>
#include <boost/mp11/detail/mp_copy_if.hpp>
#include <boost/mp11/detail/mp_fold.hpp>
#include <boost/mp11/detail/mp_remove_if.hpp>
#include <boost/mp11/detail/mp_is_list.hpp>
#include <type_traits>