From d94e1ca2750a1b459847f2fe289783600f0ed635 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 7 Nov 2018 09:47:33 +0100
Subject: [PATCH] Fixed warning

---
 src/storm/storage/jani/JSONExporter.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<modernjson::json>(&tmp));
-            return std::move(res);
+            return res;
         }
         
         modernjson::json buildExpression(storm::expressions::Expression const& exp,  std::vector<storm::jani::Constant> const& constants, VariableSet const& globalVariables = VariableSet(), VariableSet const& localVariables = VariableSet(), std::unordered_set<std::string> const& auxiliaryVariables = {}) {