From 0eec9e56daa0a64ddfb4f477d3282b4e5219e590 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Thu, 28 May 2020 19:50:12 -0700
Subject: [PATCH] better error message when a colon cannot be found in the drn
 file

---
 src/storm-parsers/parser/DirectEncodingParser.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm-parsers/parser/DirectEncodingParser.cpp b/src/storm-parsers/parser/DirectEncodingParser.cpp
index 990ccd369..4c17f7948 100644
--- a/src/storm-parsers/parser/DirectEncodingParser.cpp
+++ b/src/storm-parsers/parser/DirectEncodingParser.cpp
@@ -349,7 +349,7 @@ namespace storm {
                 } else {
                     // New transition
                     size_t posColon = line.find(':');
-                    STORM_LOG_THROW(posColon != std::string::npos, storm::exceptions::WrongFormatException, "':' not found.");
+                    STORM_LOG_THROW(posColon != std::string::npos, storm::exceptions::WrongFormatException, "':' not found in '" << line << "'.");
                     size_t target = parseNumber<size_t>(line.substr(2, posColon - 3));
                     std::string valueStr = line.substr(posColon + 2);
                     ValueType value = parseValue(valueStr, placeholders, valueParser);