Update graphl.h