From dd2fbf3d6ef757042cd6747afacfb686f00e6244 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Thu, 15 Dec 2016 16:20:21 +0100
Subject: [PATCH] fix for state set abstractor when the given predicate
 contains no variables

---
 src/storm/abstraction/LocalExpressionInformation.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storm/abstraction/LocalExpressionInformation.cpp b/src/storm/abstraction/LocalExpressionInformation.cpp
index 0bb62e8d8..d7002169c 100644
--- a/src/storm/abstraction/LocalExpressionInformation.cpp
+++ b/src/storm/abstraction/LocalExpressionInformation.cpp
@@ -59,10 +59,10 @@ namespace storm {
                 blocksToMerge.insert(getBlockIndexOfVariable(variable));
             }
             
-            STORM_LOG_ASSERT(!blocksToMerge.empty(), "Found no blocks to merge.");
+            STORM_LOG_ASSERT(variables.empty() || !blocksToMerge.empty(), "Found no blocks to merge.");
             
             // If we found a single block only, there is nothing to do.
-            if (blocksToMerge.size() == 1) {
+            if (blocksToMerge.size() <= 1) {
                 std::map<uint64_t, uint64_t> identity;
                 for (uint64_t i = 0; i < getNumberOfBlocks(); ++i) {
                     identity.emplace_hint(identity.end(), i, i);