# Conflicts:
#	Makefile.in
#	examples/WP_revisited/blocking_semantics5/why3session.xml
#	examples/WP_revisited/wp2/why3session.xml
#	examples/algo63/why3session.xml
#	examples/algo64/why3session.xml
#	examples/algo65/why3session.xml
#	examples/all_distinct/why3session.xml
#	examples/arm/why3session.xml
#	examples/avl/association_list/why3session.xml
#	examples/avl/avl/why3session.xml
#	examples/avl/priority_queue/why3session.xml
#	examples/avl/ral/why3session.xml
#	examples/avl/sorted/why3session.xml
#	examples/avl/tables/why3session.xml
#	examples/bag/why3session.xml
#	examples/balance/why3session.xml
#	examples/bellman_ford/why3session.xml
#	examples/bignum/why3session.xml
#	examples/binary_search/why3session.xml
#	examples/binary_sort/why3session.xml
#	examples/binary_sqrt/why3session.xml
#	examples/binomial_heap/why3session.xml
#	examples/bitcount/why3session.xml
#	examples/bitvector_examples/why3session.xml
#	examples/bitwalker/why3session.xml
#	examples/braun_trees/why3session...