From b9a4faea09b237b95a4c14125aae48179eed21cf Mon Sep 17 00:00:00 2001 From: PBerger Date: Mon, 3 Feb 2014 01:47:17 +0100 Subject: [PATCH] Removed unused named variables in MILPMinimalLabelSetGenerator.h Former-commit-id: 7639927da6e8d58abdf24d42d4808ac97f86d982 --- src/counterexamples/MILPMinimalLabelSetGenerator.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/counterexamples/MILPMinimalLabelSetGenerator.h b/src/counterexamples/MILPMinimalLabelSetGenerator.h index 9f0fb3ef0..004baa5b0 100644 --- a/src/counterexamples/MILPMinimalLabelSetGenerator.h +++ b/src/counterexamples/MILPMinimalLabelSetGenerator.h @@ -1034,14 +1034,14 @@ namespace storm { phiStates = untilFormula.getLeft().check(modelchecker); psiStates = untilFormula.getRight().check(modelchecker); - } catch (std::bad_cast const& e) { + } catch (std::bad_cast const&) { // If the nested formula was not an until formula, it remains to check whether it's an eventually formula. try { storm::property::prctl::Eventually const& eventuallyFormula = dynamic_cast const&>(pathFormula); phiStates = storm::storage::BitVector(labeledMdp.getNumberOfStates(), true); psiStates = eventuallyFormula.getChild().check(modelchecker); - } catch (std::bad_cast const& e) { + } catch (std::bad_cast const&) { // If the nested formula is neither an until nor a finally formula, we throw an exception. throw storm::exceptions::InvalidPropertyException() << "Formula nested inside probability bound operator must be an until or eventually formula for counterexample generation."; }