From 3eb8f8e3288844fd1c8b61f0245582e0300ff312 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Wed, 23 Apr 2014 14:52:44 +0200
Subject: [PATCH] Bugfix: valuations now correctly store the given initial
 value for boolean variables.

Former-commit-id: a23f0143039cfa7938ed0f709826b79f630d2ada
---
 src/storage/expressions/SimpleValuation.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storage/expressions/SimpleValuation.cpp b/src/storage/expressions/SimpleValuation.cpp
index c1d4862a6..d29e6a7c8 100644
--- a/src/storage/expressions/SimpleValuation.cpp
+++ b/src/storage/expressions/SimpleValuation.cpp
@@ -17,7 +17,7 @@ namespace storm {
             LOG_THROW(this->booleanIdentifierToIndexMap->find(name) == this->booleanIdentifierToIndexMap->end(), storm::exceptions::InvalidArgumentException, "Boolean identifier '" << name << "' already registered.");
             
             this->booleanIdentifierToIndexMap->emplace(name, this->booleanValues.size());
-            this->booleanValues.push_back(false);
+            this->booleanValues.push_back(initialValue);
         }
         
         void SimpleValuation::addIntegerIdentifier(std::string const& name, int_fast64_t initialValue) {