From 9ef0c07db5c51c1ce1ddee119e3b1c4eab56aebd Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 7 Nov 2018 09:39:33 +0100
Subject: [PATCH] Removed unused variable

---
 src/storm-dft/transformations/DftToGspnTransformator.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/storm-dft/transformations/DftToGspnTransformator.cpp b/src/storm-dft/transformations/DftToGspnTransformator.cpp
index 51a20dc03..144981117 100644
--- 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>