You are perfectly right, I am indeed! I will rerun it and get back in touch if the problem persists. Thank you for spotting this though!
Best, Philipp -- Sent from: http://main-discussion-list-for-the-graph-tool-project.982480.n3.nabble.com/ _______________________________________________ graph-tool mailing list graph-tool@skewed.de https://lists.skewed.de/mailman/listinfo/graph-tool
