Fix a bug in WorkStream for disconnected graph.

git-svn-id: https://svn.dealii.org/trunk@31630 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/include/deal.II/base/graph_coloring.h b/deal.II/include/deal.II/base/graph_coloring.h
index 963716dca3e5c74956a03ce54935620b131a0e10..e97ec2731abd1a12fc8463c54ae13f585de8c2b2 100644 (file)
--- a/deal.II/include/deal.II/base/graph_coloring.h
+++ b/deal.II/include/deal.II/base/graph_coloring.h
@@ -141,6 +141,7 @@ namespace GraphColoring
               if (used_it.count(it)==0)
                 {
                   zones.push_back(std::vector<Iterator> (1,it));
+                  used_it.insert(it);
                   break;
                 }
         }