From 7bf6dbbaab21ac16a4d2333e45ab0ba25252a450 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Thu, 18 Feb 2016 16:45:45 +0100
Subject: [PATCH] outgoingDependencies in c++ style :)
Former-commit-id: 51af1f47ba499719d5c22cb29b97a6da138a7533
---
src/storage/dft/DFTElements.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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;
}