Module Mergecil

val ignore_merge_conflicts : bool ref

Set this to true to ignore the merge conflicts

val merge : Cil.file list -> string -> Cil.file

Merge a number of CIL files