Class Visitor.frama_c_refresh

class frama_c_refresh : Project.t -> frama_c_visitor

Similar to Visitor.frama_c_copy, but ids will be refreshed in the copy.