diff -r 25d896ada26c -r e05032a1c102 pics/compcert.png
Binary file pics/compcert.png has changed