let retype_int_field file =
let cast_field_to_type = FieldinfoHashtbl.create 17 in
let visitor = new collectIntField cast_field_to_type in
visitFramacFile visitor file;
let visitor = new retypeIntField cast_field_to_type in
visitFramacFile visitor file