From de268ec3e8474bcfebd2d2b0a42d12f2a5249761 Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Mon, 25 Feb 2013 12:28:45 +0100
Subject: [PATCH] Forgot to remove a *...

---
 src/adapters/ExplicitModelAdapter.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/adapters/ExplicitModelAdapter.h b/src/adapters/ExplicitModelAdapter.h
index 498b755f2..84a1f52fd 100644
--- a/src/adapters/ExplicitModelAdapter.h
+++ b/src/adapters/ExplicitModelAdapter.h
@@ -394,7 +394,7 @@ private:
 						for (uint_fast64_t k = 0; k < command.getNumberOfUpdates(); ++k) {
 							storm::ir::Update const& update = command.getUpdate(k);
 
-							StateType* newState = this->applyUpdate(*currentState, update);
+							StateType* newState = this->applyUpdate(currentState, update);
 
 							uint_fast64_t targetIndex = (*stateToIndexMap.find(newState)).second;
 							delete newState;