Take tokens as pointers, not references to pointers.

diff --git a/include/deal.II/base/work_stream.h b/include/deal.II/base/work_stream.h
index da95e780f65eeb8c7370721467cd561db10ab988..54b8c80bec36943811da9894eac04f92f4b3256b 100644 (file)
--- a/include/deal.II/base/work_stream.h
+++ b/include/deal.II/base/work_stream.h
@@ -510,7 +510,7 @@ namespace WorkStream
                worker),
            copier_exist =
              static_cast<bool>(std::function<void(const CopyData &)>(copier))](
-            ItemType *&current_item) {
+            ItemType *current_item) {
             // we need to find an unused scratch data object in the list that
             // corresponds to the current thread and then mark it as used. if
             // we can't find one, create one
@@ -606,7 +606,7 @@ namespace WorkStream
         auto tbb_copier_filter = tbb::make_filter<ItemType *, void>(
           tbb::filter::serial,
           [copier = std::function<void(const CopyData &)>(copier)](
-            ItemType *&current_item) {
+            ItemType *current_item) {
             if (copier)
               {
                 // Initiate copying data. For the same reasons as in the worker