From 65fab09931be6e1072c37e3e66ebdcf834d3526c Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Thu, 28 May 2020 19:49:42 -0700
Subject: [PATCH] comments in the model are now also allowed

---
 src/storm-parsers/parser/DirectEncodingParser.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/storm-parsers/parser/DirectEncodingParser.cpp b/src/storm-parsers/parser/DirectEncodingParser.cpp
index 1dd6322d9..990ccd369 100644
--- a/src/storm-parsers/parser/DirectEncodingParser.cpp
+++ b/src/storm-parsers/parser/DirectEncodingParser.cpp
@@ -168,6 +168,9 @@ namespace storm {
             bool firstState = true;
             bool firstActionForState = true;
             while (storm::utility::getline(file, line)) {
+                if (boost::starts_with(line, "//")) {
+                    continue;
+                }
                 STORM_LOG_TRACE("Parsing: " << line);
                 if (boost::starts_with(line, "state ")) {
                     // New state