From ecade3f8578e415c345702bda2664c145700b132 Mon Sep 17 00:00:00 2001 From: dehnert Date: Mon, 28 Aug 2017 20:02:23 +0200 Subject: [PATCH] fixes issue #9 raised by Joachim Klein --- src/storm/storage/prism/Program.cpp | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/storm/storage/prism/Program.cpp b/src/storm/storage/prism/Program.cpp index a87ea5888..387423066 100644 --- a/src/storm/storage/prism/Program.cpp +++ b/src/storm/storage/prism/Program.cpp @@ -492,6 +492,11 @@ namespace storm { } } + // If there are no variables, there is no restriction on the initial states. + if (!result.isInitialized()) { + result = manager->boolean(true); + } + return result; } }