From 722ff138e213ec65d5acbdb7b5aad81aa7f1c5d6 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 4 Apr 2019 00:31:43 +0200
Subject: [PATCH] Added missing break statement

---
 src/storm-dft/storage/dft/DFT.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm-dft/storage/dft/DFT.h b/src/storm-dft/storage/dft/DFT.h
index b902d6218..940e8adcf 100644
--- a/src/storm-dft/storage/dft/DFT.h
+++ b/src/storm-dft/storage/dft/DFT.h
@@ -149,6 +149,7 @@ namespace storm {
                                 }
                                 case storm::storage::DFTElementType::BE_CONST:
                                     result.push_back(be->id());
+                                    break;
                                 default:
                                     STORM_LOG_THROW(false, storm::exceptions::NotSupportedException, "BE type '" << be->type() << "' is not supported.");
                             }