diff --git a/src/utility/shortestPaths.cpp b/src/utility/shortestPaths.cpp index 087456877..ac868070d 100644 --- a/src/utility/shortestPaths.cpp +++ b/src/utility/shortestPaths.cpp @@ -332,6 +332,9 @@ namespace storm { std::cout << " ]" << std::endl; } } + + + template class ShortestPathsGenerator; } } }