From f229a531879a6a16fdcccec1209ae51249f5b8ec Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Wed, 14 Dec 2016 18:30:48 +0100
Subject: [PATCH] export priorities

---
 src/storm-gspn/storage/gspn/GSPN.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm-gspn/storage/gspn/GSPN.cpp b/src/storm-gspn/storage/gspn/GSPN.cpp
index 74f5983ae..19f598c17 100644
--- a/src/storm-gspn/storage/gspn/GSPN.cpp
+++ b/src/storm-gspn/storage/gspn/GSPN.cpp
@@ -408,6 +408,7 @@ namespace storm {
             for (auto& trans : immediateTransitions) {
                 stream << space3 << "<transition name=\"" << trans.getName() << "\" ";
                 stream << "type=\"IMM\" ";
+                stream << "priority=\"" << trans.getPriority() << "\" ";
                 stream << "x=\"" << x << "\" ";
                 stream << "y=\"4\" ";
                 stream << "/>" << std::endl;