Rename a variable to be grammatically correct.

diff --git a/include/deal.II/base/work_stream.h b/include/deal.II/base/work_stream.h
index ecb6c52121806146521e2ccb66de18d5a67db761..9a6f04754c7283675c3459ff033cf236f44e371c 100644 (file)
--- a/include/deal.II/base/work_stream.h
+++ b/include/deal.II/base/work_stream.h
@@ -504,7 +504,7 @@ namespace WorkStream
           [worker =
              std::function<void(const Iterator &, ScratchData &, CopyData &)>(
                worker),
-           copier_exist =
+           copier_exists =
              static_cast<bool>(std::function<void(const CopyData &)>(copier))](
             ItemType *&current_item) {
             // we need to find an unused scratch data object in the list that
@@ -590,7 +590,7 @@ namespace WorkStream
             }
 
             // if there is no copier, mark current item as usable again
-            if (copier_exist == false)
+            if (copier_exists == false)
               current_item->currently_in_use = false;