From 8cdb6d5394c8bc2f5ffe7c36459e9f0edea6164f Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Sat, 11 May 2013 14:43:51 +0200
Subject: [PATCH] Put initial state in stateToIndexMap

---
 src/adapters/ExplicitModelAdapter.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/adapters/ExplicitModelAdapter.cpp b/src/adapters/ExplicitModelAdapter.cpp
index aabc0e963..dc4080ce4 100644
--- a/src/adapters/ExplicitModelAdapter.cpp
+++ b/src/adapters/ExplicitModelAdapter.cpp
@@ -259,6 +259,7 @@ ExplicitModelAdapter::~ExplicitModelAdapter() {
 				}
 			}
 		}
+		stateToIndexMap[this->allStates[0]] = 0;
 		LOG4CPLUS_DEBUG(logger, "Generated " << this->allStates.size() << " initial states.");
 	}