# Conflicts:
#	Makefile.in
#	Version
#	examples/avl/priority_queue/why3session.xml
#	examples/avl/priority_queue/why3shapes.gz
#	examples/avl/tables/why3session.xml
#	examples/avl/tables/why3shapes.gz
#	examples/binomial_heap/why3session.xml
#	examples/binomial_heap/why3shapes.gz
#	examples/bitcount/why3session.xml
#	examples/bitcount/why3shapes.gz
#	examples/counting_sort/why3session.xml
#	examples/counting_sort/why3shapes.gz
#	examples/dijkstra/why3shapes.gz
#	examples/double_wp/compiler/why3session.xml
#	examples/double_wp/compiler/why3shapes.gz
#	examples/double_wp/specs/why3session.xml
#	examples/double_wp/specs/why3shapes.gz
#	examples/dyck/why3session.xml
#	examples/dyck/why3shapes.gz
#	examples/euler001/why3session.xml
#	examples/euler001/why3shapes.gz
#	examples/euler011/why3session.xml
#	examples/euler011/why3shapes.gz
#	examples/finger_trees/why3session.xml
#	examples/finger_trees/why3shapes.gz
#	examples/hashtbl_impl/why3shapes.gz
#	examples/inverse_in_pla...