The ligamentum venosum in adults is a remnant of-