Re: [graph-tool] Error during make

Hi Tiago, There seems to have been an updated to the code on GIT. Does it address this issue or is it about something else? Best, Philipp -- Sent from: http://main-discussion-list-for-the-graph-tool-project.982480.n3.nabble.com/