From: Matthias Maier Date: Tue, 29 Nov 2022 17:22:23 +0000 (-0600) Subject: base/work_stream: remove unused using declaration X-Git-Tag: v9.5.0-rc1~793^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F14496%2Fhead;p=dealii.git base/work_stream: remove unused using declaration --- diff --git a/include/deal.II/base/work_stream.h b/include/deal.II/base/work_stream.h index 78034ce041..cff834d899 100644 --- a/include/deal.II/base/work_stream.h +++ b/include/deal.II/base/work_stream.h @@ -979,8 +979,6 @@ namespace WorkStream using WorkerAndCopier = internal::tbb_colored:: WorkerAndCopier; - using RangeType = typename std::vector::const_iterator; - WorkerAndCopier worker_and_copier(worker, copier, sample_scratch_data,