Update char.mli