How to update graph-tool?

Great. :slight_smile:

Note that if you want to update your version with the new stuff that is
in the repository, you just have to run,

$ git pull

inside your graph-tool directory. I guess there were already some
modifications made since you last cloned the tree.