From 6b8ad227020c33865ada790e130aed8e5c8a699c Mon Sep 17 00:00:00 2001
From: Kilian Verhetsel <kilian.verhetsel@student.uclouvain.be>
Date: Sun, 11 Dec 2016 18:24:03 +0000
Subject: [PATCH] Fixed the vertex being selected not being invalidated when
 assigning a value to a clique

---
 Mesh/mwis.hpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Mesh/mwis.hpp b/Mesh/mwis.hpp
index fe8ee1f887..68d0b7ca25 100644
--- a/Mesh/mwis.hpp
+++ b/Mesh/mwis.hpp
@@ -528,6 +528,8 @@ public:
       selected_vertex.push_back(_vertex);
       new_weight += get(state.weight_map, _vertex);
 
+      removed.push_back(_vertex);
+
       std::pair<out_edge_iterator, out_edge_iterator> edges =
         out_edges(_vertex, state.graph);
       for (out_edge_iterator eit = edges.first; eit != edges.second; eit++) {
-- 
GitLab