From: Daniel Arndt Date: Wed, 26 Sep 2018 17:50:28 +0000 (+0200) Subject: Rename config.cc to numbers.cc X-Git-Tag: v9.1.0-rc1~621^2~5 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=67ea5f64c522ea7990141b3daa44ea2e1002bdf9;p=dealii.git Rename config.cc to numbers.cc --- diff --git a/source/base/CMakeLists.txt b/source/base/CMakeLists.txt index 4783c78643..8764dc271c 100644 --- a/source/base/CMakeLists.txt +++ b/source/base/CMakeLists.txt @@ -24,7 +24,6 @@ SET(_unity_include_src auto_derivative_function.cc bounding_box.cc conditional_ostream.cc - config.cc convergence_table.cc event.cc exceptions.cc @@ -46,6 +45,7 @@ SET(_unity_include_src mpi.cc multithread_info.cc named_selection.cc + numbers.cc parallel.cc parameter_handler.cc parameter_acceptor.cc diff --git a/source/base/numbers.cc b/source/base/numbers.cc index f19d115fa5..d5f5c425c4 100644 --- a/source/base/numbers.cc +++ b/source/base/numbers.cc @@ -13,7 +13,7 @@ // // --------------------------------------------------------------------- -#include +#include #include #include