# Conflicts:
#	examples/dijkstra/why3session.xml
#	examples/dijkstra/why3shapes.gz
#	examples/sumrange/why3session.xml
#	examples/sumrange/why3shapes.gz
#	src/transform/ind_itp.ml