let refresh_code_annotation annot = new_code_annotation annot.annot_content