From 66cb8c60d0cd7efaa75980c87b427fd874e769e6 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Fri, 22 Dec 2017 07:53:07 +0100
Subject: [PATCH] fixed applying a custom row-grouping if there is none in
 high-level cex

---
 src/storm/counterexamples/SMTMinimalLabelSetGenerator.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/counterexamples/SMTMinimalLabelSetGenerator.h b/src/storm/counterexamples/SMTMinimalLabelSetGenerator.h
index 08d0f8786..74203f65d 100644
--- a/src/storm/counterexamples/SMTMinimalLabelSetGenerator.h
+++ b/src/storm/counterexamples/SMTMinimalLabelSetGenerator.h
@@ -1599,7 +1599,7 @@ namespace storm {
 
                         // If the choice is valid, copy over all its elements.
                         if (choiceValid) {
-                            if (!stateHasValidChoice) {
+                            if (!stateHasValidChoice && customRowGrouping) {
                                 transitionMatrixBuilder.newRowGroup(currentRow);
                             }
                             stateHasValidChoice = true;