Coupure prévue mardi 3 Août au matin pour maintenance du serveur. Nous faisons au mieux pour que celle-ci soit la plus brève possible.

Commit 412ec0b9 authored by Jund Thomas's avatar Jund Thomas
Browse files

correct bug embbededMap2 removeEdgeFromVertex

parent ce26c09d
......@@ -387,7 +387,7 @@ bool EmbeddedMap2::removeEdgeFromVertex(Dart d)
}
else
{
initDartEmbedding<FACE>(d, getEmbedding<FACE>(d)) ;
setDartEmbedding<FACE>(d, getEmbedding<FACE>(d)) ;
}
}
return b ;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment