diff --git a/resources/3rdparty/include_xerces.cmake b/resources/3rdparty/include_xerces.cmake index 9258f66bc..73f559cec 100644 --- a/resources/3rdparty/include_xerces.cmake +++ b/resources/3rdparty/include_xerces.cmake @@ -31,6 +31,6 @@ if(USE_XERCES) FIND_LIBRARY(COREFOUNDATION_LIBRARY CoreFoundation ) FIND_LIBRARY(CORESERVICES_LIBRARY CoreServices ) endif() - find_package(curl) + find_package(CURL) list(APPEND STORM_LINK_LIBRARIES ${XERCESC_LIBRARIES} ${COREFOUNDATION_LIBRARY} ${CORESERVICES_LIBRARY} ${CURL_LIBRARIES}) -endif(USE_XERCES) \ No newline at end of file +endif(USE_XERCES) diff --git a/src/generator/NextStateGenerator.cpp b/src/generator/NextStateGenerator.cpp index f7cacafc2..9c1eefbd5 100644 --- a/src/generator/NextStateGenerator.cpp +++ b/src/generator/NextStateGenerator.cpp @@ -12,8 +12,6 @@ #include "src/utility/macros.h" #include "src/exceptions/InvalidSettingsException.h" -#define BOOST_VARIANT_USE_RELAXED_GET_BY_DEFAULT - namespace storm { namespace generator { @@ -30,7 +28,7 @@ namespace storm { } std::string const& LabelOrExpression::getLabel() const { - return boost::get(labelOrExpression); + return boost::get(labelOrExpression); } bool LabelOrExpression::isExpression() const { @@ -38,7 +36,7 @@ namespace storm { } storm::expressions::Expression const& LabelOrExpression::getExpression() const { - return boost::get(labelOrExpression); + return boost::get(labelOrExpression); } NextStateGeneratorOptions::NextStateGeneratorOptions(bool buildAllRewardModels, bool buildAllLabels) : buildAllRewardModels(buildAllRewardModels), buildAllLabels(buildAllLabels), buildChoiceLabels(false) { diff --git a/src/generator/NextStateGenerator.h b/src/generator/NextStateGenerator.h index 1a49b56c1..30a4157cd 100644 --- a/src/generator/NextStateGenerator.h +++ b/src/generator/NextStateGenerator.h @@ -4,11 +4,8 @@ #include #include - #include -#define BOOST_VARIANT_USE_RELAXED_GET_BY_DEFAULT - #include "src/storage/expressions/Expression.h" #include "src/storage/BitVectorHashMap.h" #include "src/storage/expressions/ExpressionEvaluator.h"