From: Matthias Maier <tamiko@43-1.org>
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<Iterator, ScratchData, CopyData>;
 
-              using RangeType = typename std::vector<Iterator>::const_iterator;
-
               WorkerAndCopier worker_and_copier(worker,
                                                 copier,
                                                 sample_scratch_data,