From 3473a930a2387eea980616f3204c069ff0dbeec6 Mon Sep 17 00:00:00 2001
From: Alexander Bork <alexander.bork@rwth-aachen.de>
Date: Fri, 9 Aug 2019 13:09:48 +0200
Subject: [PATCH] Added hint towards uniquefailedbe flag in error message

---
 src/storm-dft/generator/DftNextStateGenerator.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm-dft/generator/DftNextStateGenerator.cpp b/src/storm-dft/generator/DftNextStateGenerator.cpp
index d8fcb1072..61596c0f8 100644
--- a/src/storm-dft/generator/DftNextStateGenerator.cpp
+++ b/src/storm-dft/generator/DftNextStateGenerator.cpp
@@ -30,7 +30,7 @@ namespace storm {
                     if (constBe->failed()) {
                         constFailedBeCounter++;
                         STORM_LOG_THROW(constFailedBeCounter < 2, storm::exceptions::NotSupportedException,
-                                        "DFTs with more than one constantly failed BE are not supported");
+                                        "DFTs with more than one constantly failed BE are not supported. Try using the option '--uniquefailedbe'.");
                         constFailedBE = constBe;
                     }
                 }