From 24faf636d77259c867d413f9fbe836479f61e588 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 18 Mar 2020 07:01:39 +0100
Subject: [PATCH] removed unused variables.

---
 src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp b/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp
index e740ec7b6..cb68794de 100644
--- a/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp
+++ b/src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp
@@ -90,8 +90,6 @@ namespace storm {
                 // This can probably be improved (i.e. resolutions for single belief states)
                 STORM_PRINT("Initial Resolution: " << gridResolution << std::endl)
                 std::vector<uint64_t> observationResolutionVector(pomdp.getNrObservations(), gridResolution);
-                auto overRes = storm::utility::one<ValueType>();
-                auto underRes = storm::utility::zero<ValueType>();
                 std::set<uint32_t> changedObservations;
                 uint64_t underApproxModelSize = 200;
                 uint64_t refinementCounter = 1;