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/26f7d07b3359098fcc551b0a1159703bb4c10e18
Thanks for the self-contained minimal example!
Best,
Tiago
_______________________________________________
graph-tool mailing list
[email protected]
http://lists.skewed.de/mailman/listinfo/graph-tool
_______________________________________________
graph-tool mailing list
[email protected]
http://lists.skewed.de/mailman/listinfo/graph-tool
