16 Oct
2014
16 Oct
'14
1:26 p.m.
Thanks to you for the quick fix... I'll try to compile it now.... Guillaume Le 16/10/2014 12:53, Tiago de Paula Peixoto a écrit :
On 16.10.2014 10:31, Guillaume Gay wrote:
Hi Tiago,
I managed to get a self contained example. The strange behaviour appears when filtering/unfiltering between the moment I update the edge list propertymap and the moment I query this list. This is indeed a bug. It has been fixed now in git:
https://git.skewed.de/count0/graph-tool/commit/26f7d07b3359098fcc551b0a11597...
Thanks for the self-contained minimal example!
Best, Tiago
_______________________________________________ graph-tool mailing list graph-tool@skewed.de http://lists.skewed.de/mailman/listinfo/graph-tool