method update_info = let (w,h,l) = analyse_annot_dot_file annot_dot_file in dot_width <- w; dot_height <- h; ids <- l