diff --git a/src/storage/dft/DFTElements.h b/src/storage/dft/DFTElements.h index 36075d005..d69b73f3b 100644 --- a/src/storage/dft/DFTElements.h +++ b/src/storage/dft/DFTElements.h @@ -168,7 +168,7 @@ namespace storm { return mOutgoingDependencies.size(); } - DFTDependencyVector const& getOutgoingDependencies() const { + DFTDependencyVector const& outgoingDependencies() const { return mOutgoingDependencies; }