diff --git a/doc/ext/__pycache__/why3.cpython-310.pyc b/doc/ext/__pycache__/why3.cpython-310.pyc
deleted file mode 100644
index 58c7cad082195fe747e9ffe46b4ead50457f7a6d..0000000000000000000000000000000000000000
Binary files a/doc/ext/__pycache__/why3.cpython-310.pyc and /dev/null differ