From 623ce0ccf1d3a89ac0754df4998da240f61843d1 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 23 Nov 2017 17:19:04 +0100
Subject: [PATCH] Fixed missing break in case distinction

---
 src/storm-dft/modelchecker/dft/DFTASFChecker.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp b/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp
index 7f26ed62d..f99cc23aa 100644
--- a/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp
+++ b/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp
@@ -388,6 +388,7 @@ namespace storm {
                         std::shared_ptr<DFTConstraint> elseC = std::make_shared<IsConstantValue>(timePointVariables.at(i), notFailed);
                         constraints.push_back(std::make_shared<IfThenElse>(ifC, thenC, elseC));
                         constraints.back()->setDescription("PAND gate");
+                        break;
                     }
                     case storm::storage::DFTElementType::SEQ:
                         STORM_LOG_THROW(false, storm::exceptions::NotImplementedException, "SMT encoding of SEQs is not implemented yet.");