diff --git a/src/modelChecker/EigenDtmcPrctlModelChecker.h b/src/modelChecker/EigenDtmcPrctlModelChecker.h
index b08a3ae92..e62a765ad 100644
--- a/src/modelChecker/EigenDtmcPrctlModelChecker.h
+++ b/src/modelChecker/EigenDtmcPrctlModelChecker.h
@@ -138,7 +138,7 @@ public:
 		// Create resulting vector.
 		std::vector<Type>* result = new std::vector<Type>(this->getModel().getNumberOfStates());
 
-		Type *pr = &((*result)[0]); // get the address storing the data for result
+		// Type *pr = &((*result)[0]); // get the address storing the data for result
 		MapType vectorResult(px, result->size()); // vectorResult shares data 
 
 		// Perform the actual computation.