diff -r b96f44755c51 -r 9eeb7516a656 pics/compcert.png
Binary file pics/compcert.png has changed