]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Remove unused parameter 5163/head
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Wed, 27 Sep 2017 10:16:51 +0000 (12:16 +0200)
committerDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Wed, 27 Sep 2017 10:18:11 +0000 (12:18 +0200)
source/base/parameter_acceptor.cc

index 7e771efa575b355429eebd1c7781092948314ff3..632f272a185626ff41074493c6c2a240ae0df791 100644 (file)
@@ -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 &)
 {}
 
 

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.