Removed unused variable

6 years ago · 9ef0c07db5
1 changed files with 0 additions and 1 deletions
--- a/src/storm-dft/transformations/DftToGspnTransformator.cpp
+++ b/src/storm-dft/transformations/DftToGspnTransformator.cpp
@ -7,7 +7,6 @@ namespace storm {
        namespace dft {
            // Prevent some magic constants
            static constexpr const uint64_t defaultPriority = 1;
            static constexpr const uint64_t defaultCapacity = 1;
            template<typename ValueType>