From a204ac3a66409700fada898b22b722328d37fdda Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Fri, 26 Feb 2016 16:31:00 +0100
Subject: [PATCH] added a comment

Former-commit-id: 19a026c3f913d0bac6ce24ec886b2518e57d8d4f
---
 src/storage/dft/DFTBuilder.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storage/dft/DFTBuilder.cpp b/src/storage/dft/DFTBuilder.cpp
index e3889bf4d..08d85d879 100644
--- a/src/storage/dft/DFTBuilder.cpp
+++ b/src/storage/dft/DFTBuilder.cpp
@@ -110,6 +110,7 @@ namespace storm {
                     restr = std::make_shared<DFTSeq<ValueType>>(mNextId++, name);
                     break;
                 case DFTElementType::MUTEX:
+                    // TODO notice that mutex state generation support is lacking anyway, as DONT CARE propagation would be broken for this.
                     STORM_LOG_THROW(false, storm::exceptions::NotSupportedException, "Gate type not supported.");
                     break;
                 default: