From 3a38abec6f0e62de346ede876267446fa70ba7d4 Mon Sep 17 00:00:00 2001 From: PBerger Date: Sat, 21 Sep 2013 22:10:37 +0200 Subject: [PATCH] Removed unnecessary names for unused variables in the ExplicitModelAdapter.cpp Former-commit-id: bed4f234af1f141acb83103c1d58a16765c1893d --- src/adapters/ExplicitModelAdapter.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/adapters/ExplicitModelAdapter.cpp b/src/adapters/ExplicitModelAdapter.cpp index 004a6acdb..9c20eca69 100644 --- a/src/adapters/ExplicitModelAdapter.cpp +++ b/src/adapters/ExplicitModelAdapter.cpp @@ -120,18 +120,18 @@ namespace storm { try { int_fast64_t integerValue = std::stoi(value); program.getUndefinedIntegerConstantExpression(constantName)->define(integerValue); - } catch (std::invalid_argument const& e) { + } catch (std::invalid_argument const&) { throw storm::exceptions::InvalidArgumentException() << "Illegal value of integer constant: " << value << "."; - } catch (std::out_of_range const& e) { + } catch (std::out_of_range const&) { throw storm::exceptions::InvalidArgumentException() << "Illegal value of integer constant: " << value << " (value too big)."; } } else if (program.hasUndefinedDoubleConstant(constantName)) { try { double doubleValue = std::stod(value); program.getUndefinedDoubleConstantExpression(constantName)->define(doubleValue); - } catch (std::invalid_argument const& e) { + } catch (std::invalid_argument const&) { throw storm::exceptions::InvalidArgumentException() << "Illegal value of double constant: " << value << "."; - } catch (std::out_of_range const& e) { + } catch (std::out_of_range const&) { throw storm::exceptions::InvalidArgumentException() << "Illegal value of double constant: " << value << " (value too big)."; }