Update pretty_c.mli