From a6f389fce2ed993a29a1adf3c6ab165a71e85e1e Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Sun, 21 Feb 2016 20:59:08 +0100
Subject: [PATCH] SEQ in the parser

Former-commit-id: 8163e7149ccd512ddbb109ca907c040836711079
---
 src/parser/DFTGalileoParser.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/parser/DFTGalileoParser.cpp b/src/parser/DFTGalileoParser.cpp
index d11f5ae3b..65ad82437 100644
--- a/src/parser/DFTGalileoParser.cpp
+++ b/src/parser/DFTGalileoParser.cpp
@@ -102,6 +102,8 @@ namespace storm {
                         success = builder.addPandElement(name, childNames);
                     } else if (tokens[1] == "wsp" || tokens[1] == "csp") {
                         success = builder.addSpareElement(name, childNames);
+                    } else if (tokens[1] == "seq") {
+                        success = builder.addSequenceEnforcer(name, childNames);
                     } else if (tokens[1] == "fdep") {
                         success = builder.addDepElement(name, childNames, storm::utility::one<ValueType>());
                     } else if (boost::starts_with(tokens[1], "pdep=")) {