blob: 4473b6a2243ac452e2379d74043831d61078aa57 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
- workaround the potential problem in boost: /usr/local/include/boost/move/adl_move_swap.hpp:190:15: error: no member named 'swap' in namespace 'std'
--- ar/src/format/text.cpp.orig 2025-01-08 22:27:38 UTC
+++ ar/src/format/text.cpp
@@ -41,6 +41,8 @@
*
******************************************************************************/
+#include <algorithm>
+
#include <boost/container/flat_set.hpp>
#include <ikos/ar/format/text.hpp>
|