# Conflicts:
#	bench/ce/jlamp_array.mlw
#	bench/ce/jlamp_projections.mlw
#	bench/ce/jlamp_projections_CVC4,1.5.oracle
#	bench/ce/jlamp_projections_Z3,4.5.0.oracle
#	bench/ce/jlamp_projections_Z3,4.6.0.oracle
#	bench/ce/map.mlw
#	bench/ce/map_CVC4,1.5.oracle
#	bench/ce/map_Z3,4.5.0.oracle
#	bench/ce/map_Z3,4.6.0.oracle
#	bench/ce/records.mlw
#	bench/ce/records_CVC4,1.5.oracle
#	bench/ce/records_Z3,4.5.0.oracle
#	bench/ce/records_Z3,4.6.0.oracle
#	examples/verifythis_fm2012_LRS/why3session.xml
#	examples/verifythis_fm2012_LRS/why3shapes.gz