From 3fc0c89c396fa2be1559dc59fd8d7bd329038122 Mon Sep 17 00:00:00 2001 From: Matthias Maier Date: Tue, 29 Nov 2022 11:22:23 -0600 Subject: [PATCH] base/work_stream: remove unused using declaration --- include/deal.II/base/work_stream.h | 2 -- 1 file changed, 2 deletions(-) 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, -- 2.39.5