diff --git a/src/adapters/EigenAdapter.cpp b/src/adapters/EigenAdapter.cpp index aebdcd0ef..eb2199945 100644 --- a/src/adapters/EigenAdapter.cpp +++ b/src/adapters/EigenAdapter.cpp @@ -4,7 +4,7 @@ namespace storm { namespace adapters { template - static std::unique_ptr> toEigenSparseMatrix(storm::storage::SparseMatrix const& matrix) { + std::unique_ptr> EigenAdapter::toEigenSparseMatrix(storm::storage::SparseMatrix const& matrix) { // Build a list of triplets and let Eigen care about the insertion. std::vector> triplets; triplets.reserve(matrix.getNonzeroEntryCount()); @@ -20,6 +20,6 @@ namespace storm { return result; } - template std::unique_ptr> toEigenSparseMatrix(storm::storage::SparseMatrix const& matrix); + template std::unique_ptr> EigenAdapter::toEigenSparseMatrix(storm::storage::SparseMatrix const& matrix); } -} \ No newline at end of file +}