From 4b4c70929579e7a8f2206d407155a7e54469f006 Mon Sep 17 00:00:00 2001 From: Daniel Arndt Date: Wed, 27 Sep 2017 12:16:51 +0200 Subject: [PATCH] Remove unused parameter --- source/base/parameter_acceptor.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/source/base/parameter_acceptor.cc b/source/base/parameter_acceptor.cc index 7e771efa57..632f272a18 100644 --- a/source/base/parameter_acceptor.cc +++ b/source/base/parameter_acceptor.cc @@ -143,12 +143,12 @@ ParameterAcceptor::clear() -void ParameterAcceptor::declare_parameters(ParameterHandler &prm) +void ParameterAcceptor::declare_parameters(ParameterHandler &) {} -void ParameterAcceptor::parse_parameters(ParameterHandler &prm) +void ParameterAcceptor::parse_parameters(ParameterHandler &) {} -- 2.39.5