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()));
 	}
 
 	/*!