Some more CI fixes

2019-12-28 23:13:39 +00:00
parent c7106e232f
commit d041901a30
6 changed files with 11 additions and 83 deletions
--- a/src/common/CMakeLists.txt
+++ b/src/common/CMakeLists.txt
@@ -96,7 +96,6 @@ add_library(common STATIC
    serialization/boost_discrete_interval.hpp
    serialization/boost_flat_set.h
    serialization/boost_vector.hpp
-    serialization/optional.h
    string_util.cpp
    string_util.h
    swap.h