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 6c5e94adcacf6b9dd849c6e36b57ee556a6c9ec7..13e23c3f8b512ac965b33b87286d067a7cb1fef5 100644 (file)
--- a/include/deal.II/base/work_stream.h
+++ b/include/deal.II/base/work_stream.h
@@ -517,7 +517,7 @@ namespace WorkStream
                worker),
            copier_exists =
              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
@@ -619,7 +619,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