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