diff --git a/src/storage/jani/EdgeDestination.cpp b/src/storage/jani/EdgeDestination.cpp
index 7429808c9..f34231b14 100644
--- a/src/storage/jani/EdgeDestination.cpp
+++ b/src/storage/jani/EdgeDestination.cpp
@@ -10,6 +10,13 @@ namespace storm {
             // Intentionally left empty.
         }
         
+        
+        EdgeDestination::EdgeDestination(uint64_t locationIndex, storm::expressions::Expression const& probability, OrderedAssignments const& assignments) : locationIndex(locationIndex), probability(probability), assignments(assignments) {
+            // Intentionally left empty.
+        }
+
+
+        
         void EdgeDestination::addAssignment(Assignment const& assignment) {
             assignments.add(assignment);
         }
diff --git a/src/storage/jani/EdgeDestination.h b/src/storage/jani/EdgeDestination.h
index 2ff9d4ef2..b8af1cc90 100644
--- a/src/storage/jani/EdgeDestination.h
+++ b/src/storage/jani/EdgeDestination.h
@@ -16,6 +16,8 @@ namespace storm {
              */
             EdgeDestination(uint64_t locationIndex, storm::expressions::Expression const& probability, std::vector<Assignment> const& assignments = {});
             
+            EdgeDestination(uint64_t locationIndex, storm::expressions::Expression const& probability, OrderedAssignments const& assignments);
+            
             /*!
              * Additionally performs the given assignment when choosing this destination.
              */