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 78034ce0415bfbea64e646455d795bb393f83057..cff834d899e42577b52e7d327988e8abc1f45abc 100644 (file)
--- 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,