Update double_link.h