From 8aca56ea5b4677167843f60fde0f4c92f48187cb Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Sun, 9 Dec 2012 14:06:00 +0100
Subject: [PATCH] fixing warning: unused variable pr

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

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.