diff --git a/src/storm/storage/jani/JSONExporter.cpp b/src/storm/storage/jani/JSONExporter.cpp index 0eaa883a7..2ab4ee3e1 100644 --- a/src/storm/storage/jani/JSONExporter.cpp +++ b/src/storm/storage/jani/JSONExporter.cpp @@ -41,7 +41,7 @@ namespace storm { modernjson::json anyToJson(boost::any&& input) { boost::any tmp(std::move(input)); modernjson::json res = std::move(*boost::any_cast(&tmp)); - return std::move(res); + return res; } modernjson::json buildExpression(storm::expressions::Expression const& exp, std::vector const& constants, VariableSet const& globalVariables = VariableSet(), VariableSet const& localVariables = VariableSet(), std::unordered_set const& auxiliaryVariables = {}) {