diff --git a/src/adapters/GmmxxAdapter.h b/src/adapters/GmmxxAdapter.h index d60b88a7b..9445c6683 100644 --- a/src/adapters/GmmxxAdapter.h +++ b/src/adapters/GmmxxAdapter.h @@ -68,10 +68,10 @@ public: // Move Row Indications result->jc.~vectorType_ull_t(); // Call Destructor inplace - new (&result->jc) vectorType_ull_t(std::move(storm::utility::ConversionHelper::toUnsignedLongLong(&matrix.rowIndications))); + new (&result->jc) vectorType_ull_t(std::move(*storm::utility::ConversionHelper::toUnsignedLongLong(&matrix.rowIndications))); // Move Columns Indications result->ir.~vectorType_ull_t(); // Call Destructor inplace - new (&result->ir) vectorType_ull_t(std::move(storm::utility::ConversionHelper::toUnsignedLongLong(&matrix.columnIndications))); + new (&result->ir) vectorType_ull_t(std::move(*storm::utility::ConversionHelper::toUnsignedLongLong(&matrix.columnIndications))); // And do the same thing with the actual values. result->pr.~vectorType_T_t(); // Call Destructor inplace new (&result->pr) vectorType_T_t(std::move(matrix.valueStorage));