From 322e470c893574e03b06fc8b0b5a03c32c0cc397 Mon Sep 17 00:00:00 2001 From: Mavo Date: Fri, 29 Apr 2016 14:51:59 +0200 Subject: [PATCH] Removed unnecessary std::moves Former-commit-id: c6436f78733d90d82021a1f4266523bdd082c391 --- src/parser/DeterministicModelParser.cpp | 2 +- src/parser/NondeterministicModelParser.cpp | 2 +- src/storage/expressions/ToExprtkStringVisitor.cpp | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/parser/DeterministicModelParser.cpp b/src/parser/DeterministicModelParser.cpp index 18f14428a..2bc82362f 100644 --- a/src/parser/DeterministicModelParser.cpp +++ b/src/parser/DeterministicModelParser.cpp @@ -23,7 +23,7 @@ namespace storm { uint_fast64_t stateCount = transitions.getColumnCount(); // Parse the state labeling. - storm::models::sparse::StateLabeling labeling(std::move(storm::parser::AtomicPropositionLabelingParser::parseAtomicPropositionLabeling(stateCount, labelingFilename))); + storm::models::sparse::StateLabeling labeling(storm::parser::AtomicPropositionLabelingParser::parseAtomicPropositionLabeling(stateCount, labelingFilename)); // Construct the result. DeterministicModelParser::Result result(std::move(transitions), std::move(labeling)); diff --git a/src/parser/NondeterministicModelParser.cpp b/src/parser/NondeterministicModelParser.cpp index 220451c33..a9213f0ad 100644 --- a/src/parser/NondeterministicModelParser.cpp +++ b/src/parser/NondeterministicModelParser.cpp @@ -24,7 +24,7 @@ namespace storm { uint_fast64_t stateCount = transitions.getColumnCount(); // Parse the state labeling. - storm::models::sparse::StateLabeling labeling(std::move(storm::parser::AtomicPropositionLabelingParser::parseAtomicPropositionLabeling(stateCount, labelingFilename))); + storm::models::sparse::StateLabeling labeling(storm::parser::AtomicPropositionLabelingParser::parseAtomicPropositionLabeling(stateCount, labelingFilename)); // Only parse state rewards if a file is given. boost::optional> stateRewards; diff --git a/src/storage/expressions/ToExprtkStringVisitor.cpp b/src/storage/expressions/ToExprtkStringVisitor.cpp index f3a89b2c5..51d9c1f34 100644 --- a/src/storage/expressions/ToExprtkStringVisitor.cpp +++ b/src/storage/expressions/ToExprtkStringVisitor.cpp @@ -10,7 +10,7 @@ namespace storm { stream.str(""); stream.clear(); expression->accept(*this); - return std::move(stream.str()); + return stream.str(); } boost::any ToExprtkStringVisitor::visit(IfThenElseExpression const& expression) { @@ -217,4 +217,4 @@ namespace storm { return boost::any(); } } -} \ No newline at end of file +}