From 8a12ec03e343f7a32534100b8559bd3fcefe9f63 Mon Sep 17 00:00:00 2001
From: Lanchid <thomas.heinemann@rwth-aachen.de>
Date: Thu, 6 Dec 2012 15:50:18 +0100
Subject: [PATCH] Copied pointer of states labeled with an AP, as the result of
 the function points into the labeling object. (Ticket #24)

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

diff --git a/src/modelChecker/DtmcPrctlModelChecker.h b/src/modelChecker/DtmcPrctlModelChecker.h
index c21319204..83e29e38b 100644
--- a/src/modelChecker/DtmcPrctlModelChecker.h
+++ b/src/modelChecker/DtmcPrctlModelChecker.h
@@ -128,7 +128,7 @@ public:
 	 * @returns The set of states satisfying the formula, represented by a bit vector
 	 */
 	virtual mrmc::storage::BitVector* checkAP(const mrmc::formula::AP<T>& formula) {
-		return model->getLabeledStates(formula.getAP());
+		return new mrmc::storage::BitVector(*model->getLabeledStates(formula.getAP()));
 	}
 
 	/*!